Ezio Bartocci Lectures on Runtime Verification ISBN: 9783319756325 Subjects--Topical Terms: Computer ScienceSoftware Engineering