Verification of Object-Oriented Programs With Invariants

In  Formal Techniques for Java-like Programs (FTfJP)

Details

TypeInproceedings
> Publications > Verification of Object-Oriented Programs With Invariants