A Broader View on Verification: From Static to Runtime and Back (Track Summary).

Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier

Browse the full ISoLA paper archive.