Search

Home
News
Software
Teaching
Advisees
Publications

Light Dark Automatic

Contents

Discovering concurrency errors

João M Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar

Posted Jan 1, 2018

© 2026 João Lourenço. This work is licensed under CC BY SA 4.0. The site code is available on Github.