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

Cached

Download Links

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