WAIN'21
Sun 30 - Mon 31 May 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
WAIN Program
Your Program
Sun 30 May
Mon 31 May
Track/Call
Organization
WAIN'21 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2021
(
series
) /
WAIN'21 (
series
) /
Marie-Christine Jakobs
ICSE 2021 profile
conf.research.org general profile
* ICSE 2018 * profile
ECOOP 2019 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
ICSE 2020 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ISSTA/ECOOP 2024 profile
MODELS 2023 profile
POPL 2020 profile
POPL 2025 profile
Registered user since Tue 21 Nov 2017
Name:
Marie-Christine Jakobs
Country:
Germany
Affiliation:
TU Darmstadt, Germany
Contributions
2021
FormaliSE
PEQcheck: Localized and Context-aware Checking of Functional Equivalence
Committee Member in Programme Committee within the FormaliSE 2021-track
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Sun 22 Dec 16:36
