Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.
E-book
Electronic resources
Record details
- ISBN: 9783642298608
- Physical Description: XII, 458 p. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.