Academic
Publications
Formal Techniques for Java-Like Programs

Formal Techniques for Java-Like Programs,10.1007/978-3-642-02047-6_8,Elvira Albert,Anindya Banerjee,Sophia Drossopoulou,Marieke Huisman,Atsushi Igaras

Formal Techniques for Java-Like Programs  
BibTex | RIS | RefWorks Download
This report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ECOOP 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.