
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