![](https://www.pdfsearch.io/img/5ee1bbd2984cdce8f9464ac019363bfc.jpg) 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. KalajdzikAdd to Reading ListSource URL: www.mad-workshop.deDownload Document from Source Website File Size: 3,56 MBShare Document on Facebook
|