Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs (1998)

by James L. Caldwell, II
Citations:3 - 0 self