Adaptive Runtime Verification Radu Grosu Vienna University of Technology Joint work with: E. Bartocci, S. Callanan, K. Havelund, K. Kalajdzik

First Page		Document Content
Date: 2016-03-22 12:43:37		Adaptive Runtime Verification Radu Grosu Vienna University of Technology Joint work with: E. Bartocci, S. Callanan, K. Havelund, K. Kalajdzik Add to Reading List Source URL: www.mad-workshop.de Download Document from Source Website File Size: 3,56 MB Share Document on Facebook