Infoscience

Conference paper

Verifying a File System Implementation

    Note:

    See also technical report http://infoscience.epfl.ch/search.py?recid=110223&ln;=en

    Reference

    • LARA-CONF-2004-001

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

Related material