Logic and specification extending VDM-SL for advanced formal specification

Bibliographic Details
Main Author: Middelburg, Cornelis A.
Format: Book
Language:English
Published: London Chapman & Hall c1993.
Subjects: