EAN: 9783319152004

SOFTWARE ENGINEERING AND FORMAL METHODS KARTONI...

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014
conference on Software Engineering and Formal Methods  held in Grenoble  France  in September
2014. The 26 papers included in this volume were carefully reviewed and selected from 49
submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal
Methods - From Readability to Automation  HOFM 2014  the 3rd International Symposium on
Modelling and Knowledge Management Applications - Systems and Domains  MoKMaSD 2014  the 8th
International Workshop on Foundations and Techniques for Open Source Software Certification 
Open Cert 2014  the 1st Workshop on Safety and Formal Methods  SaFoMe 2014 and the 4th Workshop
on Formal Methods in the Development of Software  WS-FMDS 2014.

Aktuelle Preise zur EAN 9783319152004

Produktinformationen zur 9783319152004