Registered user since Tue 21 Nov 2017
Name: Marie-Christine Jakobs
Affiliation: TU Darmstadt, Germany
Contributions
| FormaliSE 2021 | Committee Member in Programme Committee within the FormaliSE 2021-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile