Language:

Industrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL

IEEE Computer Society Staff Corporate Author 1999

Online access

Title:
Industrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL
Author: IEEE Computer Society Staff Corporate Author
Subjects: Engineering & Applied Sciences; Computer Science
Publisher: Place of publication not identified IEEE Computer Society Press
Creation Date: 1999
Language: English
Institution Zone MMS ID: 991000624221503376$$I01TRAILS_MSU_GFC
991009756700503368$$I01TRAILS_MSU
Network Zone MMS ID: 9911565580603366
Source: 01TRAILS ALMA

Back to results list