TY  - BOOK
AU  - Bjørner,Nikolaj
AU  - de Boer,Frank
ED  - SpringerLink (Online service)
TI  - FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319192499
AV  - QA76.758 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer science
KW  - Logic design
KW  - Information Systems
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Management of Computing and Information Systems
KW  - Computation by Abstract Devices
N1  - Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains
N2  - This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development
UR  - https://doi.org/10.1007/978-3-319-19249-9
ER  -