FM4industry:Current events

From Evidence on Formal Methods Uses and Impact on Industry
Jump to: navigation, search

ICFEM 2012: 14th International Conference on Formal Engineering Methods

AVOCS 2012: 12th International Workshop on Automated Verification of Critical Systems

FM2012: Formal Methods 2012

IFM2012 - ABZ2012

DEPLOY Federated Event 2012


Personal tools
Variants
Actions
Navigation
Toolbox