Runtime Verification electronic resource : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers / edited by Koushik Sen, Sarfaz Khurshid

Författare
Calif.) 2011 : (2nd RV (Conference) San Francisco
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat