Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study

Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Fingerprint

Dive into the research topics of 'Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study'. Together they form a unique fingerprint.

Engineering & Materials Science