%0 Conference Paper %1 conf/iceccs/JiangSZK019 %A Jiang, Ke %A Sanán, David %A Zhao, Yongwang %A Kan, Shuanglong %A Liu, Yang %B ICECCS %D 2019 %E Pang, Jun %E Sun, Jing %I IEEE %K dblp %P 144-153 %T A Formally Verified Buddy Memory Allocation Model. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2019.html#JiangSZK019 %@ 978-1-7281-4646-1

@inproceedings{conf/iceccs/JiangSZK019, added-at = {2023-06-26T00:00:00.000+0200}, author = {Jiang, Ke and Sanán, David and Zhao, Yongwang and Kan, Shuanglong and Liu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/284cb6c6c3ed88a0972eee17d55bb7e95/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2019}, editor = {Pang, Jun and Sun, Jing}, ee = {https://doi.org/10.1109/ICECCS.2019.00023}, interhash = {6faf7381fa3bdd1b4d2d7c473968e48f}, intrahash = {84cb6c6c3ed88a0972eee17d55bb7e95}, isbn = {978-1-7281-4646-1}, keywords = {dblp}, pages = {144-153}, publisher = {IEEE}, timestamp = {2024-04-10T08:30:25.000+0200}, title = {A Formally Verified Buddy Memory Allocation Model.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2019.html#JiangSZK019}, year = 2019 }