Tool support for system specification, development and verification

Saved in:
Bibliographic Details
Corporate Author: International Workshop on Tool Support for System Specification, Development and Verificaion
Other Authors: Berghammer, R. (Rudolph) 1952- (Editor), Lakhnech, Y. (Yassine) (Editor)
Format: Book
Language:English
Published: Wien : Springer, c1999
Series:Advances in computing science,
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!