Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

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...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Canal, Carlos (Editor), Idani, Akram (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:	1st ed. 2015.
Series:	Programming and Software Engineering, 8938
Subjects:	Computer science. Software engineering. Compilers (Computer programs). Machine theory. Computer Science Logic and Foundations of Programming. Software Engineering. Compilers and Interpreters. Formal Languages and Automata Theory.
Online Access:	Texto Completo