Ezio Bartocci

Lectures on Runtime Verification

9783319756325


Computer Science
Software Engineering