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 |
Using general profile