Languages

Biblio

Filters: Author is Bei Hua  [Clear All Filters]
2009
Lin C, Chen Y, Hua B.  2009.  Verification of an Incremental Garbage Collector in Hoare-Style Logic. International Journal of Software and Informatics. 3(1):67-88.
2007
Lin C, Chen Y, Li L, Hua B.  2007.  Garbage Collector Verification for Proof-Carrying Code. Journal of Computer Science and Technology. 22:426-437. Download: paper.pdf (307.85 KB)