Software engineering and formal methods :
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 ; .
Springer eBooks
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.
9783319104317
QA76.758
Springer eBooks
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.
9783319104317
QA76.758