WS-FMDS 2013 September 24, 2013, Spain

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS 2013

3rd Workshop on Formal Methods in the Development of Software

  • Creative Commons License, by Antonio García

    Venue

    September 24, 2013, Madrid, Spain

  • QSIC 2011

    SEFM 2013

    Co-located with the 11th International Conference on Softaware Engineering and Formal Methods

    (SEFM 2013)

WS-FMDS 2013

Carlos Gregorio-Rodríguez, Universidad Complutense de Madrid, e-mail: cgr@sip.ucm.es

Fernando L. Pelayo, Universidad Castilla - La Mancha, e-mail: fpelayo@dsi.uclm.es