3319 search results - page 24 / 664 » Subshifts, Languages and Logic |
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
75
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
66
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
77
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
107
Voted
FASE
2001
Springer
15 years 4 months 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 ...