Proceedings of the third Workshop on Formal Methods in Software Practice

Proceedings of the third Workshop on Formal Methods in Software Practice

Bibliographic Details
Main Author: Heimdahl, Mats P. E. (-)
Corporate Authors: Workshop on Formal Methods in Software Practice Corporate Author (corporate author), Workshop on Formal Methods in Software Practice (-), ACM Sigsoft Content Provider (content provider)
Other Authors: Heimdahl, Mats P. E. Contributor (contributor)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2000
Series:ACM Conferences
Subjects:
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713830306719

Similar Items

Similar Items