Formal specification : techniques and applications /

Bibliographic Details
Main Author: Nissanke, Nimal
Format: Book
Language:English
Published: London ; New York : Springer, [1999]
Subjects: