Unifying modal interface theories and compositional input/output conformance testing
Published in Sci. Comput. Program., 2019
Stephan Mennicke
Research Associate at ICCL, Knowledge-Based Systems Group
- Dresden, Germany
- TU Dresden
- ResearchGate
- Github
- Google Scholar
- ORCID