Title: Lectures on Runtime Verification
Subjects: Computer science, Software engineering