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,PACSS},
    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.},

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4001650