Building Certified Libraries for PCC: Dynamic Storage Allocation.

Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao

Browse the full ESOP paper archive.