Runtime Verification [E-Book]: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.
Khurshid, Sarfraz.
Sen, Koushik.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642298608
10.1007/978-3-642-29860-8
Lecture notes in computer science ; 7186
Full Text
Description not available.