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

Romain Demeyer, Wim Vanhoof

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

Original languageEnglish
Title of host publicationProceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)
Pages10-24
Publication statusPublished - 2012
Event22nd Workshop on Logic-based Programming Environments (WLPE 2012) - Budapest, Hungary
Duration: 8 Sep 2012 → …

Symposium

Symposium22nd Workshop on Logic-based Programming Environments (WLPE 2012)
CountryHungary
CityBudapest
Period8/09/12 → …

Cite this