%0 Journal Article %1 journals/cacm/ChapmanDMM24 %A Chapman, Roderick %A Dross, Claire %A Matthews, Stuart %A Moy, Yannick %D 2024 %J Commun. ACM %K dblp %N 3 %P 84-94 %T Co-Developing Programs and Their Proof of Correctness. %U http://dblp.uni-trier.de/db/journals/cacm/cacm67.html#ChapmanDMM24 %V 67

@article{journals/cacm/ChapmanDMM24, added-at = {2024-05-07T00:00:00.000+0200}, author = {Chapman, Roderick and Dross, Claire and Matthews, Stuart and Moy, Yannick}, biburl = {https://www.bibsonomy.org/bibtex/2a0398a6de3777d3d930fbc470217da97/dblp}, ee = {https://doi.org/10.1145/3624728}, interhash = {057e649c7afdaea587ab2dcefdb46f7e}, intrahash = {a0398a6de3777d3d930fbc470217da97}, journal = {Commun. ACM}, keywords = {dblp}, month = {March}, number = 3, pages = {84-94}, timestamp = {2024-05-13T07:45:44.000+0200}, title = {Co-Developing Programs and Their Proof of Correctness.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm67.html#ChapmanDMM24}, volume = 67, year = 2024 }