Browsing by Author Decker, Normann
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
| 2019 | First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014 | Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo; Colombo, Christian; Decker, Normann; Havelund, Klaus; Joshi, Yogi; Klaedtke, Felix; Milewicz, Reed; Reger, Giles; Rosu, Grigore; Signoles, Julien; Thoma, Daniel; Zalinescu, Eugen; Zhang, Yi |
