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  -