Formal Techniques for Java Programs

Inheritance in Higher Order Logic: Modeling and Reasoning

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics

Formal Techniques for Java Programs

ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology

Formal Techniques for Java Programs

ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology

Formal Techniques for Java-like Programs

ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology

Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs

Formal techniques for java-like programs

ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader