Infoscience
Third International Conference on Runtime Verification
September 25-28, 2012
Istanbul, Turkey