Write a Blog >>

Registered user since Thu 21 Apr 2022

Name:Faridah Akinotcho
Affiliation:University of British Columbia, Canada

Contributions

ESEC/FSE 2020 ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile