Registered user since Tue 12 Jan 2021
Name:Max W. Haslbeck
Affiliation:University of Innsbruck
Contributions
| CPP 2021 | An Isabelle/HOL Formalization of AProVE's Termination Method for LLVM IR | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile