Page not in menu
This is a page not in the menu. You can use markdown in this page.
Norine Coenen
PhD candidate at Saarland University, working on the verification of hyperproperties
- Saarbrücken, Germany
- Github
- Google Scholar
- ORCID
This is a page not in the menu. You can use markdown in this page.