Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu 0003. A Formally Verified Buddy Memory Allocation Model. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 144-153, IEEE, 2019. [doi]
@inproceedings{JiangSZK019, title = {A Formally Verified Buddy Memory Allocation Model}, author = {Ke Jiang and David Sanán and Yongwang Zhao and Shuanglong Kan and Yang Liu 0003}, year = {2019}, doi = {10.1109/ICECCS.2019.00023}, url = {https://doi.org/10.1109/ICECCS.2019.00023}, researchr = {https://researchr.org/publication/JiangSZK019}, cites = {0}, citedby = {0}, pages = {144-153}, booktitle = {24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019}, editor = {Jun Pang 0001 and Jing Sun 0002}, publisher = {IEEE}, isbn = {978-1-7281-4646-1}, }