Infoscience

Report

On Verifying Complex Properties using Symbolic Shape Analysis

    Note:

    MPI-I-2006-2-1 (Max-Planck Institute for Computer Science)

    Reference

    • LARA-REPORT-2006-002

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

Related material