Browse by Journal or other publication
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Atkey, Robert (2006) Specifying and verifying heap space allocation with JML and ESC/Java2. In: Formal Techniques for Java-like Programs, 2006-07-04 - 2006-07-04.