Infoscience

Report

On Using First-Order Theorem Provers in a the Jahob Data Structure Verification System

    Note:

    MIT-CSAIL-TR-2006-072 Full version of http://infoscience.epfl.ch/search.py?recid=110252&ln;=en

    Reference

    • LARA-REPORT-2006-001

    Record created on 2007-08-21, modified on 2016-08-08

Related material