FM 2015: Formal Methods  20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /  [electronic resource] : 
edited by Nikolaj Bjørner, Frank de Boer. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (XVI, 610 p. 156 ill.) 
 - Lecture Notes in Computer Science,  9109  0302-9743 ; .
<br/><br/>Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains. 
<br/><br/><label>ISBN: </label>9783319192499 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computers.<br/>Computer logic.<br/>Mathematical logic.<br/>Management information systems.