Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers

Author：edited by Sarfraz Khurshid, Koushik Sen.
Publisher：Springer Berlin Heidelberg
ISBN：9783642298608 (electronic bk.) ; 9783642298592 (paper)
Publication Date：2012
其他作者：Khurshid, Sarfraz. ; Sen, Koushik.
語言：eng
出版地：Berlin, Heidelberg :
Description

xii, 458 p. ::ill., digital ;:24 cm.

Search Same Author