Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Lecture Notes in Computer Science, Band 7385)
von:
Alastair Donaldson ·
David Parker
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-31758-3
ISBN-10: 3-642-31758-8
Springer
· 2012
