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