Languages

Biblio

Filters: Author is Gang Liu  [Clear All Filters]
2013
Zhang Z, Li Z, Chen Y, Liu G.  2013.  An Automatic Program Verifier for PointerC: Design and Implementation. Journal of Computer Research and Development. 50(5)