TY  - BOOK
AU  - Bjørner,Nikolaj
AU  - de Boer,Frank
TI  - FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings 
SN  - 9783319192499
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Software engineering
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
KW  - Management information systems
N1  - Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains
UR  - http://dx.doi.org/10.1007/978-3-319-19249-9
ER  -