Parents
Sign in to add mentor| Zhong Shao | grad student | 2004 | Yale | |
| (Safety verification of low -level code.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Yu D, Hamid NA, Shao Z. (2004) Building certified libraries for PCC: dynamic storage allocation Science of Computer Programming. 50: 101-127 |