Languages
Khurshid, Sarfraz.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
Clark Conference ((2005 :); Khurshid, Sarfraz.; Sen, Koushik.; SpringerLink (Online service)
(Language materials, printed)