Vol-2508⫷ Vol-2509 ⫸Vol-2510
urn:nbn:de:0074-2509-0


Vol-2509/paper6⫷Vol-2509/paper7⫸Vol-2509/paper8
Dario Della MonicaAdrian Francalanza

Pushing Runtime Verification to the Limit: May Process Semantics Be With Us