Runtime verification at work: A tutorial

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian Florin Şerbănuţă, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Runtime verification at work: A tutorial'. Together they form a unique fingerprint.

Keyphrases

Computer Science