report
On Using First-Order Theorem Provers in a the Jahob Data Structure Verification System
2006
Type
report
Author(s)
Date Issued
2006
Note
MIT-CSAIL-TR-2006-072 Full version of http://infoscience.epfl.ch/search.py?recid=110252&ln=en
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record