ACM Sigsoft International Workshop on Formal Methods in Software Development (9-11 May, 1990 Napa, Calif.) profile picture

ACM Sigsoft International Workshop on Formal Methods in Software Development (9-11 May, 1990 Napa, Calif.)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development