Are formal methods useful for software development?

Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis

Browse the full COMPSAC paper archive.