Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer ... Notes in Computer Science (4839), Band 4839)

Verification

von Oleg Sokolsky

Taschenbuch

EAN=ISBN-13: 978-3-540-77394-8

ISBN-10: 3-540-77394-0

Springer · 2008