Verification of Object-Oriented Programs With Invariants

Projects

Publications

People

Downloads

Project Tuva Enhanced Video Player

Watch the Feynman Lectures

> Publications > Verification of Object-Oriented Programs With Invariants

Mike Barnett, Rob DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte
July 2003

In: Formal Techniques for Java-like Programs (FTfJP)

Details

Type:

Inproceedings