Login / Signup

SWAT: Assertion-based debugging of concurrency issues at system level.

Luis Gabriel MurilloRobert Lajos BücsDaniel HincapieRainer LeupersGerd Ascheid
Published in: ASP-DAC (2015)
Keyphrases