2011
2010
2009
- Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected PapersDarren D. Cofer, Alessandro Fantechi, editors, Volume 5596 of Lecture Notes in Computer Science, Springer, 2009. [doi]
2008
2007
2004
2003
2002
2001
2000
1996
1995