Jyotirmoy Deshmukh Runtime Verification - 1st ed. 2020 - springer 2020 - Lecture Notes in Computer Science . ISBN: 9783030605087 Subjects--Topical Terms: Computer ScienceSoftware Engineering