Login / Signup

Effective lock handling in stateless model checking.

Michalis KokologiannakisAzalea RaadViktor Vafeiadis
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases