Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
Article in International Journal on Software Tools for Technology Transfer (July 2022)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in International Journal on Software Tools for Technology Transfer (July 2022)
Article in Journal of Automated Reasoning (May 2020)
Article in Journal of Functional Programming (October 2019)