Leslie Lamport
Computer-Hindered Verification (Humans Can Do It Too)
CAV, 1992.
@inproceedings{CAV-1992-Lamport, author = "Leslie Lamport", booktitle = "{Proceedings of the Fourth International Workshop on Computer Aided Verification}", doi = "10.1007/3-540-56496-9_1", isbn = "3-540-56496-9", pages = "1", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Computer-Hindered Verification (Humans Can Do It Too)}", volume = 663, year = 1992, }