Login / Signup

A Unified Framework for Verification Techniques for Object Invariants.

Sophia DrossopoulouAdrian FrancalanzaPeter MüllerAlexander J. Summers
Published in: ECOOP (2008)
Keyphrases