Lectures on Runtime Verification Introductory and Advanced Topics
Book title Buchtitel
Lectures on Runtime Verification Introductory and Advanced Topics
ISBN
978-3-319-75631-8
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer-Verlag Berlin Heidelberg
Springer-Verlag Berlin Heidelberg
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-319-75632-5
Series Schriftenreihe
Lecture Notes in Computer Science