Runtime Verification 2012 (RV’12)

Third International Conference on Runtime Verification RV 2012, September 25 – September 28, 2012 Istanbul, Turkey