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