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

Romain Demeyer, Wim Vanhoof

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titreProceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)
Pages10-24
Etat de la publicationPublié - 2012
Evénement22nd Workshop on Logic-based Programming Environments (WLPE 2012) - Budapest, Hongrie
Durée: 8 sept. 2012 → …

Colloque

Colloque22nd Workshop on Logic-based Programming Environments (WLPE 2012)
PaysHongrie
La villeBudapest
période8/09/12 → …

Contient cette citation