E. Bartocci, Y. Falcone (ed.):
"Lectures on Runtime Verification - Introductory and Advanced Topics";
Springer-Verlag Berlin Heidelberg,
Berlin Heidelberg,
2018,
ISBN: 978-3-319-75631-8;
232 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)