Registered user since Sun 11 Mar 2018

Name: Quang Loc Le

Affiliation: School of Computing, Teesside University, UK

Contributions

JPF 2018Author of Automatic Data Structure Repair using Separation Logic within the JPF-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile