Runtime Verification
Subtitle: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
Publisher: Springer
Published: May 11, 2012
Format: paperback
Number of pages: 470
ISBN-13: 9783642298592
Notes: Source title: Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science (7186))