Computing Publications

Publications Home » Formal techniques for Java programs

Formal techniques for Java programs

Gary Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Journal Special Issue Edited
ECOOP 2001 workshop, Budapest, Hungary, 2001
2002
pp.30–40
Springer-Verlag
ISBN 3-5404-3675-8
Keywords
Java Semantics
SLURP
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.