Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... (Lecture Notes in Computer Science, 9763) - Softcover

 
9783319415901: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, ... (Lecture Notes in Computer Science, 9763)
Softcover
ISBN 10: 3319415905 ISBN 13: 9783319415901
Publisher: Springer, 2016

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2016
Language
English
ISBN 10 
3319415905
ISBN 13 
9783319415901
Binding
Paperback
Edition number
1
Number of pages
434
Editor
De Nicola Rocco, Kühn Eva

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3319415921 ISBN 13:  9783319415925
Publisher: Springer, 2016
Softcover