Search results for: Warren A. Hunt
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 163-178
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Theorem Proving > 319-333
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 313-316
Lecture Notes in Computer Science > Hardware Specification, Verification and Synthesis: Mathematical Aspects > 282-306
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Functional Approaches to Design Description > 20-34
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 271-282
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Software Testing, Verification and Reliability > 24 > 8 > 593 - 607
2013 Formal Methods in Computer-Aided Design > 181 - 188