%0 Conference Paper %1 conf/iwmm/AppelN20 %A Appel, Andrew W. %A Naumann, David A. %B ISMM %D 2020 %E Ding, Chen %E Maas, Martin %I ACM %K dblp %P 48-59 %T Verified sequential Malloc/Free. %U http://dblp.uni-trier.de/db/conf/iwmm/ismm2020.html#AppelN20 %@ 978-1-4503-7566-5

@inproceedings{conf/iwmm/AppelN20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Appel, Andrew W. and Naumann, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2c6c4752e3ead579b9c64ad288b3dea99/dblp}, booktitle = {ISMM}, crossref = {conf/iwmm/2020}, editor = {Ding, Chen and Maas, Martin}, ee = {https://doi.org/10.1145/3381898.3397211}, interhash = {3d8d8d075cdb5638ba3168375590461e}, intrahash = {c6c4752e3ead579b9c64ad288b3dea99}, isbn = {978-1-4503-7566-5}, keywords = {dblp}, pages = {48-59}, publisher = {ACM}, timestamp = {2024-04-10T22:08:43.000+0200}, title = {Verified sequential Malloc/Free.}, url = {http://dblp.uni-trier.de/db/conf/iwmm/ismm2020.html#AppelN20}, year = 2020 }