Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. IF Tutorial. Presented at the 9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain, April 2004.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@Misc{BozgaGrafMounier04,
Author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian},
Title = {IF Tutorial},
Howpublished = {Presented at the 9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain},
Month = {April},
Year = {2004}
}
Get EndNote Reference (.ref)