A summary of intrinsic partitioning verification (2004)

by David Greve , Raymond Richards , Matthew Wilding
Venue:In In Proceedings of the Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2
Citations:20 - 4 self