UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 6238
DCS Tech Report Number: TR-2000-52

Xs are for Trajectory Evaluation, Booleans are for Theorem Proving (Extended Version)
Aagaard,M.D. Melham,T.F. O'Leary,J.W.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers :
Publisher: Dept of Computing Science, University of Glasgow
Year: 2000
Abstract:

No abstract available.


Bibtex entry Endnote XML