2011
2010
2009
2008
2007
- ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels, editors, Volume RNTI-SM-1 of Revue des Nouvelles Technologies de l Information, Cépaduès-Éditions, 2007.
2006
2005
2004
2003
2002
1997
1995
1994
1993