TY - BOOK AU - Mark Moriconi (Ed) TI - Proceedings of the ACM SIGSOFT-International Workshop on Formal Methods in Software Development U1 - 005.1 MOR-P R PY - 1990/// PB - ACM Press KW - Proceedings of the ACM SIGSOFT-International Workshop on Formal Methods in Software Development Mark Moriconi (Ed) ER -