Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification


by Mark Aargaard and Miriam Leeser

Computer Aided Verification: Proceedings of the Fourth International Workshop (CAV'92), G. von Bochmann and D. Probst (eds.), pp. 69-81, Springer-Verlag, 1993.


Sorry, there are no downloadable files available for this document at this time.