
Registered user since Tue 27 Oct 2020
Name: Georg Weissenbacher
Country: Austria
Affiliation: TU Wien
Personal website: http://www.georg.weissenbacher.science
Research interests: Formal Methods
Contributions
SPIN 2021 | TU Wien in Programming Committee within the SPIN-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile