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