Fabian Vu, Christopher Happe, Michael Leuschel. Generating interactive documents for domain-specific validation of formal models. STTT, 26(2):147-168, April 2024. [doi]
@article{VuHL24, title = {Generating interactive documents for domain-specific validation of formal models}, author = {Fabian Vu and Christopher Happe and Michael Leuschel}, year = {2024}, month = {April}, doi = {10.1007/s10009-024-00739-0}, url = {https://doi.org/10.1007/s10009-024-00739-0}, researchr = {https://researchr.org/publication/VuHL24}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {26}, number = {2}, pages = {147-168}, }