Generating Domain-Specific Interactive Validation Documents. - Fabian Vu; Christopher Happe; Michael Leuschel (FMICS, 2022)

Generating interactive documents for domain-specific validation of formal models. - Fabian Vu; Christopher Happe; Michael Leuschel (Int. J. Softw. Tools Technol. Transf., 2024)