Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification.

David Cyrluk, Mandayam K. Srivas

Browse the full ICCD paper archive.