formal methods

Subscriptions

 

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) Artist2 Consortium, All Rights Reserved - 2006
Réalisation Axome - Création de sites Internet