Not registered as user yet
Name:Martin Tappler
Country:Austria
Affiliation:TU Graz; Silicon Austria Labs
Personal website:https://mtappler.wordpress.com/
Contributions
| FormaliSE 2023 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile