Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 11.02.2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer Verlag, Vol. 10457 LNCS. p. 61-10242 p. (Lecture Notes in Computer Science; vol. 10457 LNCS).
Research output: Chapters in Books/Reports/Conference Proceedings › Chapter › peer-review