Infoscience

Conference paper

Verifying Complex Properties using Symbolic Shape Analysis

    Reference

    • LARA-CONF-2007-004

    Record created on 2007-08-21, modified on 2017-05-12

Fulltext

  • There is no available fulltext. Please contact the lab or the authors.

Related material