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