Verified sequential Malloc/Free
- Andrew W. Appel
- , David A. Naumann
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10
Link opens in a new tab
Scopus
citations