Model Checking an Object-Oriented Design

Simon C. Stanton, Vishv M. Malhotra. Model Checking an Object-Oriented Design. In ICEIS (1). pages 605-608, 2004.

Abstract

Abstract is missing.