Model Checking Software [E-Book] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker.
Donaldson, Alastair.
Parker, David.
Berlin, Heidelberg : Springer, 2012
digital.
englisch
9783642317590
10.1007/978-3-642-31759-0
Lecture notes in computer science ; 7385
Full Text
Description not available.