Dagstuhl Seminar 07011 “Runtime Verification” January 2–6, 2007

Bernd Finkbeiner, Klaus Havelund, Grigore Roşu, Oleg Sokolsky

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Dagstuhl Seminar 07011 “Runtime Verification” January 2–6, 2007'. Together they form a unique fingerprint.

Keyphrases

Computer Science

INIS