About this scholarly article

2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) - A Formally Verified Buddy Memory Allocation Model by Jiang, Ke; Sanan, David; Zhao, Yongwang; Kan, Shuanglong; Liu, Yang is a scholarly article available to read on EtoBox.

Author

Jiang, Ke; Sanan, David; Zhao, Yongwang; Kan, Shuanglong; Liu, Yang

Publisher

IEEE

Published

2019