Generating interactive documents for domain-specific validation of formal models
Article in International Journal on Software Tools for Technology Transfer (February 2024)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in International Journal on Software Tools for Technology Transfer (February 2024)
Preprint in arXiv (April 2017)
Article in NeuroImage (October 2008)