by Stephen J. Goldsack
This book presents an overview of two approaches to software engineering - formal methods and object-oriented techniques - and by extracting the best aspects of each demonstrates how better and saf…