Verification of Object-Oriented Programs with Invariants.

• 1 January 2004
• journal article
• Published by AITO - Association Internationale pour les Technologies Objets in The Journal of Object Technology
• Vol. 3  (6) , 27
• https://doi.org/10.5381/jot.2004.3.6.a2

Abstract

Keywords

• JOURNAL OBJECT TECHNOLOGY