Runtime Verification: Second inteational Conference,

Runtime Verification: Second inteational Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Lecture Notes in .. / Programming and Software Engineering)

Hardcover: 470 pages

Publisher: Springer (May 10, 2012)

Language: English

ISBN-10: 3642298591