Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Volume RNTI-SM-1 of Revue des Nouvelles Technologies de l Information, Cépaduès-Éditions, 2007.
Conference: ISoLA2007
@proceedings{isola:2007,
title = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007},
year = {2007},
researchr = {https://researchr.org/publication/isola%3A2007},
cites = {0},
citedby = {0},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007},
conference = {ISoLA},
editor = {Yamine Aït Ameur and Frédéric Boniol and Virginie Wiels},
volume = {RNTI-SM-1},
series = {Revue des Nouvelles Technologies de l Information},
publisher = {Cépaduès-Éditions},
isbn = {978-2-85428-814-8},
}