Formal methods and tools for industrial critical systems
Article in International Journal on Software Tools for Technology Transfer (April 2022)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in International Journal on Software Tools for Technology Transfer (April 2022)