Ditemukan 1 dokumen yang sesuai dengan query
Sarfraz Khurshid, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71...
Berlin: [, Springer-Verlag], 2012
e20409040
eBooks Universitas Indonesia Library
