A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

Romain Demeyer, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Filter
Active

Search results