Work

Adapting JML to generic types and Java 1.6

Year: 2008

Type: article

Author: David R. Cok

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1490621135

FWCI: 11.98

Cites: 10

Cited by: 12

Related to: 10