Verimag

bibtex

@inproceedings{BGM+04,
    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.},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 8 ; visites : 424054