Reasoning with specifications containing method calls and model fields.

• 1 January 2005
• journal article
• Published by AITO - Association Internationale pour les Technologies Objets in The Journal of Object Technology
• Vol. 4  (8) , 77
• https://doi.org/10.5381/jot.2005.4.8.a4

Abstract

Keywords

• JOURNAL OBJECT TECHNOLOGY