Vol-1384⫷ Vol-1385 ⫸Vol-1386
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 |