Registered user since Tue 21 Nov 2017
Name:Marie-Christine Jakobs
Country:Germany
Affiliation:TU Darmstadt, Germany
Contributions
| FormaliSE 2021 | PEQcheck: Localized and Context-aware Checking of Functional Equivalence Committee Member in Programme Committee within the FormaliSE 2021-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile