[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

AMN-PROOF Tool




The link from the PVS' users page to Chris Pratten's AMN Proof Tool
is broken. Anyone have a working URl for this work?


-- 
*E-mail*a.a.adams@rdg.ac.uk********  Dr Andrew A Adams
**snail*23 Ivydene Road************  Dept of Comp Sci
***mail*Reading RG30 1HT, UK*******  University of Reading
****Tel*+44-118-956-0607***********  Reading