Model Checking Software: 16th International S.P.I.N. Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science / ... Notes in Computer Science (5578), Band 5578)
von
Corina S. Pasareanu
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-02651-5
ISBN-10: 3-642-02651-6
Springer
· 2009
