Login / Signup

Does program verification help?: how much?

Carl E. Landwehr
Published in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases