Using VDM within an Object-Oriented Framework.

Lynn S. Marshall Linda Simon

Published in: VDM Europe (1) (1991)

Keyphrases

software architecture
case study
distributed systems
description language