ESEC/FSE 2018 (series) / Guolong Zheng
Registered user since Mon 22 Jan 2018
Name: Guolong Zheng
Affiliation: University of Nebraska Lincoln
Contributions
| JPF 2018 | Author of Automatic Data Structure Repair using Separation Logic within the JPF-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile