1.
Formal Methods in Automated Design Debugging
by Safarpour, Sean
ISBN: 9783639245738
List Price: $79.00
OUT OF STOCK
See Availability on Amazon2.
Improved Design Debugging Using Maximum Satisfiability, Proceedings
by Safarpour, Sean, Mangassari...
ISBN: 9780769530239
List Price: $192.00
OUT OF STOCK
See Availability on Amazon3.
Practical RTL Debugging and Verification
by Safarpour, Sean A., Veneris...
ISBN: 9781441968159
List Price: $129.00
OUT OF STOCK
See Availability on Amazon4.
Finding Your Way Through Formal Verification
by Murphy, Bernard, Pandey, Ma...
ISBN: 9781986274111
List Price: $26.00
5.
Finding Your Way Through Formal Verification 2nd Edition
by Pandey, Manish, Ranjan, Raj...
ISBN: 9798374027136