Christopher Happe

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Domain Independent

Interactive Retrieval

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Fabian Vu, Christopher Happe, Michael Leuschel
Generating interactive documents for domain-specific validation of formal models. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Fabian Vu, Christopher Happe, Michael Leuschel
Generating Domain-Specific Interactive Validation Documents. FMICS (2022)