
Registered user since Thu 29 May 2014
Name:Sebastian Erdweg
Country:Germany
Affiliation:JGU Mainz
Personal website:https://www.pl.informatik.uni-mainz.de/
Contributions
VMCAI 2020 | A Systematic Approach to Abstract Interpretation of Program Transformations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile