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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Search results