Context

Context of Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers, Darren Cofer, Alessandro Fantechi (eds.), (electronic resource)
Processing Feedback ...