Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 11.02.2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (Hrsg.). Springer Verlag, Band 10457 LNCS. S. 61-10242 S. (Lecture Notes in Computer Science; Band 10457 LNCS).
Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Kapitel › Begutachtung