188 search results - page 5 / 38 » java 2001 |
REFLECTION
2001
Springer
13 years 12 months ago
2001
Springer
SIGADA
2001
Springer
13 years 12 months ago
2001
Springer
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
CLUSTER
2001
IEEE
13 years 11 months ago
2001
IEEE
FASE
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...