Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Max W. Haslbeck
conf.researchr.org general profile
POPL 2021 profile
Registered user since Tue 12 Jan 2021
Name:
Max W. Haslbeck
Affiliation:
University of Innsbruck
Contributions
2021
CPP
Author of An Isabelle/HOL Formalization of AProVE's Termination Method for LLVM IR within the CPP 2021-track
Share
x
Sat 21 Dec 17:10