Not registered as user yet
Name:Michael Leuschel
Country:Germany
Affiliation:HHU
Contributions
ICSE 2021 | Validation Obligations: A Novel Approach to check Compliance between Requirements and their Formal Specification | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2021-profile
View general profile
View general profile