Computing Publications

Publications Home » Special issue: formal techniques ...

Special issue: formal techniques for Java programs

Susan Eisenbach, Gary Leavens

Journal Special Issue Edited
Concurrency and Computation: Practice and Experience
Volume 13
Issue 13
November, 2001
Wiley InterScience
DOI 10.1002/cpe.595
 

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