Title: Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development
First published: 1990
Subjects: Development, Congresses, Computer software