Software Engineering and Formal Methods 14th International Conference SEFM 2016 Held as Part of STAF 2016 Vienna Austria July 4 8 2016 Proceedings 1st Edition by Rocco De Nicola 3319415913 9783319415918
Original price was: $50.00.$25.00Current price is: $25.00.
Software Engineering and Formal Methods 14th International Conference SEFM 2016 Held as Part of STAF 2016 Vienna Austria July 4 8 2016 Proceedings 1st Edition by Rocco De Nicola – Ebook Instant Download/Delivery ISBN(s): 3319415913, 9783319415918
Product details:
- ISBN 10: 3319415913
- ISBN 13: 9783319415918
- Author: Rocco
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.
Table of contents:
1. Invited Papers
2. Concurrency and Non-interference
3. Program Analysis
4. Model Checking
5. Verification
6. Interaction and Adaptation
7. Development Methods
People also search:
verification and formal methods in software engineering
formal methods in software engineering examples
software formal methods
formal methods in software engineering
formal methods software
You may also like…
Science (General) - International Conferences and Symposiums
