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,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 | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4189103