A Bytecode Logic for JML and Types

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/11924661_24 ◽

2006 ◽

pp. 389-405 ◽

Cited By ~ 8

Author(s):

Lennart Beringer ◽

Martin Hofmann

Download Full-text