Fm 2015: formal methods :  20th international symposium, oslo, norway, june 24-26, 2015, proceedings / 
edited by Nikolaj Bjørner, Frank de Boer. 
 - xvi, 610 páginas :  156 ilustraciones 
 - Lecture Notes in Computer Science,  9109  0302-9743 ; .
<br/><br/> Springer eBooks 
<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>LC Class. No.: </label>QA76.758