%0 Conference Paper %1 conf/cpp/NguyenBMW24 %A Nguyen, Duc-Than %A Beringer, Lennart %A Mansky, William %A Wang, Shengyi %B CPP %D 2024 %E Timany, Amin %E Traytel, Dmitriy %E Pientka, Brigitte %E Blazy, Sandrine %I ACM %K dblp %P 60-74 %T Compositional Verification of Concurrent C Programs with Search Structure Templates. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#NguyenBMW24

@inproceedings{conf/cpp/NguyenBMW24, added-at = {2024-01-11T00:00:00.000+0100}, author = {Nguyen, Duc-Than and Beringer, Lennart and Mansky, William and Wang, Shengyi}, biburl = {https://www.bibsonomy.org/bibtex/2d28f9943d5600c860c45b3eb97616c0a/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2024}, editor = {Timany, Amin and Traytel, Dmitriy and Pientka, Brigitte and Blazy, Sandrine}, ee = {https://doi.org/10.1145/3636501.3636940}, interhash = {32e3570c66618d2ced14ebb8b601f679}, intrahash = {d28f9943d5600c860c45b3eb97616c0a}, keywords = {dblp}, pages = {60-74}, publisher = {ACM}, timestamp = {2024-04-09T22:48:37.000+0200}, title = {Compositional Verification of Concurrent C Programs with Search Structure Templates.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#NguyenBMW24}, year = 2024 }