Generating Proofs from a Decision Procedure (1999)

by Aaron Stump , David L. Dill
Venue:Proceedings of the FLoC Workshop on Run-Time Result Verification
Citations:16 - 0 self