Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
Mark D. Aagaard‚ Thomas F. Melham and John W. O'Leary
Institution
Department of Computing Science‚ University of Glasgow
Month
January
Number
TR−2000−52
Year
2000
Mark D. Aagaard‚ Thomas F. Melham and John W. O'Leary