%0 Conference Paper %1 conf/cpp/ConradTGPD22 %A Conrad, Esther %A Titolo, Laura %A Giannakopoulou, Dimitra %A Pressburger, Thomas %A Dutle, Aaron %B CPP %D 2022 %E Popescu, Andrei %E Zdancewic, Steve %I ACM %K dblp %P 68-81 %T A compositional proof framework for FRETish requirements. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2022.html#ConradTGPD22 %@ 978-1-4503-9182-5

@inproceedings{conf/cpp/ConradTGPD22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Conrad, Esther and Titolo, Laura and Giannakopoulou, Dimitra and Pressburger, Thomas and Dutle, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/2de05dd904303a317a9c313ec5cf49901/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2022}, editor = {Popescu, Andrei and Zdancewic, Steve}, ee = {https://doi.org/10.1145/3497775.3503685}, interhash = {764f12943affb5b1acf839aa0f83164d}, intrahash = {de05dd904303a317a9c313ec5cf49901}, isbn = {978-1-4503-9182-5}, keywords = {dblp}, pages = {68-81}, publisher = {ACM}, timestamp = {2024-04-09T22:48:42.000+0200}, title = {A compositional proof framework for FRETish requirements.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2022.html#ConradTGPD22}, year = 2022 }