Registration will be handled through the SEFM 2014 registration system.
Methods in the
4th Workshop on Formal Methods
in the Development of Software
Radu Mateescu chairman of the Formal Methods for Industrial Critical Systems (FMICS), Working Group of the European Research Consortium for Informatics and Mathematics (ERCIM). SEFM 2014 Conference Chair.
September 2nd, 2014, Grenoble, France
Co-located with the 12th International Conference on Software Engineering and Formal Methods