The Human in Formal Methods.

Shriram Krishnamurthi, Tim Nelson

Browse the full FM paper archive.