ISSTA 2022
Mon 18 - Fri 22 July 2022 Online

Registered user since Mon 22 Jan 2018

Name:Guolong Zheng
Affiliation:University of Nebraska Lincoln

Contributions

ISSTA 2022 ATR: Template-based Repair for Alloy Specifications
Show activities from other conferences

ISSTA 2022-profile
View general profile