A case study in JML-based software validation
Keyword(s):
Keyword(s):
2012 ◽
Vol null
(46)
◽
pp. 281-302
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637
1982 ◽
Vol 46
(6)
◽
pp. 314-322