Formal Methods and Object Technology

Abstract

A collection of contributions from leading researchers in the field on the bringing together of formal and object-oriented techniques. An introductory part of the book contains a chapter on OO concepts and a chapter surveying recent research in the area