Record:   Prev Next
Author RV (Conference) (2nd : 2011 : San Francisco, Calif.)
Title 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
Imprint Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
book jacket
Record:   Prev Next