Mark Aagaard, Miriam Leeser
Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification
CAV, 1992.
@inproceedings{CAV-1992-AagaardL, author = "Mark Aagaard and Miriam Leeser", booktitle = "{Proceedings of the Fourth International Workshop on Computer Aided Verification}", doi = "10.1007/3-540-56496-9_7", isbn = "3-540-56496-9", pages = "69--81", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification}", volume = 663, year = 1992, }