Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

Dimitra Giannakopoulou, Gwen Salaün, editors, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Volume 8702 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Conference: sefm2014

Editors

Dimitra Giannakopoulou

This author has not been identified. Look up 'Dimitra Giannakopoulou' in Google

Gwen Salaün

This author has not been identified. It may be one of the following persons: Look up 'Gwen Salaün' in Google