13th International Workshop on Formal Methods for
Industrial Critical Systems
(FMICS 2008)
September 15-16, 2008,
L'Aquila, Italy
ERCIM Working Group on Formal Methods for Industrial Critical Systems
Colocated with ASE 2008 conference
Location: Aula Magna of the University of L'Aquila