Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7186)
von:
Koushik Sen · Sarfaz Khurshid
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-29859-2
ISBN-10: 3-642-29859-1
Springer
· 2012