Arnd Hartmanns

Registered user since Thu 31 Jan 2019

Name: Arnd Hartmanns

Country: Netherlands

Affiliation: University of Twente

Personal website: http://arnd.hartmanns.name/

Contributions

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