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

First Page	Meta Content
	Adaptive Runtime Verification Radu Grosu Vienna University of Technology Joint work with: E. Bartocci, S. Callanan, K. Havelund, K. Kalajdzik Add to Reading List Document Date: 2016-03-22 12:43:37 Open Document File Size: 3,56 MB Share Result on Facebook

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