conf.researchr.org / Max W. Haslbeck
Registered user since Tue 12 Jan 2021
Name:Max W. Haslbeck
Affiliation:University of Innsbruck
Contributions
| CPP 2021 | Author of An Isabelle/HOL Formalization of AProVE's Termination Method for LLVM IR within the CPP 2021-track |