title = {{IF Tutorial} },
    author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian},
    month = {April},
    year = {2004},
    booktitle = {9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain},
    series = {Lecture Notes in Computer Science},
    volume = {2989},
    team = {DCS},
    abstract = {This provided a tutorial on the IF language and on the detailed architecture of the IF verification toolset, as well as detailed descriptions of the translators and verification algorithms.},

Publication Sections

Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 6 ; visits: 422973