WS-FMDS 2012 August 28, 2012, France

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS.

2nd Workshop on Formal Methods in the Development of Software

  • CNAM

    Dates

    August 27-28, 2012, CNAM of Paris, France

  • QSIC 2011

    FM 2012

    Co-located with the 18th International Symposium on Formal Methods

    (FM 2012)

WS-FMDS 2012.

Registration will be handled through the FM 2012 registration system.