Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science, Band 3639)
von
Patrick Godefroid
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-28195-5
ISBN-10: 3-540-28195-9
Springer
· 2008
