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	Program Co-Chair in Program Chairs within the FormaliSE 2022-track Program Co-Chair in Program Committee 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