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

Using general profile