ENGLISH

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

By Rocco De Nicola , Eva Kühn (eds.)

Book information

Publisher
Springer International Publishing
Year
2016
ISBN
978-3-319-41590-1, 978-3-319-41591-8
DOI
10.1007/978-3-319-41591-8
Language
english
Format
PDF
Filesize
16 MB (16286750 bytes)
Series
Lecture Notes in Computer Science 9763
Edition
1
Pages
XV, 419\420
Time added
2016-07-20 04:00:00
CompilersInterpreters; Mathematical Logic and Formal LanguaSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

Similar books