conf.researchr.org / Arnd Hartmanns
Arnd Hartmanns

Registered user since Thu 31 Jan 2019

Name:Arnd Hartmanns
Country:Netherlands
Affiliation:University of Twente
Personal website:https://arnd.hartmanns.name/

Contributions

FormaliSE 2022 Committee Member in Program Chairs within the FormaliSE 2022-track
SPIN 2021 University of Twente in Programming Committee within the SPIN-track
TACAS 2019 Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track