Karine Even-Mendoza

Registered user since Thu 6 Aug 2020

Name:Karine Even-Mendoza
Country:United Kingdom
Affiliation:Imperial College London
Research interests:Model checking, software verification, testing and compilers

Contributions

Show activities from other conferences

PLDI 2022-profile
View general profile