FM 2006

Formal Methods 2006

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

Access it online!

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet