@inproceedings{JRB04,
title = { Case Studies with Lurette V2 },
author = {Jahier, Erwan and Raymond, Pascal and Baufreton, Philippe},
month = {oct},
year = {2004},
booktitle = {1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004},
address = {Paphos, Cyprus},
team = {SYNC},
}