Infoscience

Conference paper

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

    Note:

    See http://infoscience.epfl.ch/search.py?recid=110245&ln;=en for full version

    Reference

    • LARA-CONF-2007-001

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

Related material