Software engineering and formal methods :  12th international conference, sefm 2014, grenoble, france, september 1-5, 2014. Proceedings / 
edited by Dimitra Giannakopoulou, Gwen Salaün. 
 - xxii, 394 páginas :  85 ilustraciones 
 - Lecture Notes in Computer Science,  8702  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/>Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems. 
<br/><br/><label>ISBN: </label>9783319104317 
<br/><br/><label>LC Class. No.: </label>QA76.758