Christopher Happe

According to our database, Christopher Happe authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Generating interactive documents for domain-specific validation of formal models.

Fabian Vu, Christopher Happe, Michael Leuschel

Int. J. Softw. Tools Technol. Transf., April, 2024

2022

Generating Domain-Specific Interactive Validation Documents.

Fabian Vu, Christopher Happe, Michael Leuschel

Proceedings of the Formal Methods for Industrial Critical Systems, 2022