Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, Band 6418)

Verification

von: Howard Barringer · Ylies Falcone · Bernd Finkbeiner · Klaus Havelund · Insup Lee · Gordon Pace · Grigore Rosu · Oleg Sokolsky

Taschenbuch

ISBN-13: 978-3-642-16611-2

ISBN-10: 3-642-16611-3

Springer · 2010