Infoscience

Conference paper

Hob: A Tool for Verifying Data Structure Consistency

    Reference

    • LARA-CONF-2005-007

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

Related material