TODO: a brief summary of what this research group is about. Please open a ticket with the relevant info
Research Fields
- Formal Specifications of Systems
- Theoretical and Methodological Foundations of System Specifications
- Tool Support for Formal Methods
- Meta-Informatics and Philosophy of Computer Science