Browsing by Author Colombo, Christian
Showing results 1 to 1 of 1
Preview | Authors / Editors | Title | Type | Issue Date |
---|---|---|---|---|
![]() | Bartocci, Ezio ![]() | First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | Article Artikel ![]() ![]() ![]() | 2017 |