Proceedings of the ACM Sigsoft International Workshop on Formal Methods in Software Development
Subtitle: Napa, California, USA, 9-11 May 1990 (Software engineering notes)
Publisher: ACM Order Dept. [distributor]
Published: 1990
Language: eng
Format: Unknown Binding
Number of pages: 149
ISBN-13: 9780897914154