Vol-1385
urn:nbn:de:0074-1385-5

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.



FMSEE&T 2015
Formal Methods in Software Engineering Education and Training


Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T '15)
co-located with 20th International Symposium on Formal Methods (FM 2015)

Oslo, Norway, June 23, 2015.


Edited by

Andreas Bollin *
Tiziana Margaria **
Isabelle Perseil ***

* University of Klagenfurt, Software Engineering Research Group, Universtätsstrasse 65-67, 9020 Klagenfurt, Austria
** Lero - the Irish Software Research Center, University of Limerick, Tierney Building, Limerick, Ireland
*** INSERM - Institut National de la Santé et de la Recherche Médicale, Computational Science Coordination, 13 rue Watt, 75013 Paris, France




Table of Contents

Keynote

Accepted Papers

2015-06-18: submitted by Andreas Bollin, metadata incl. bibliographic data published under Creative Commons CC0
2015-06-19: published on CEUR-WS.org |valid HTML5|