Formal methods and automated verification of critical systems
Article in International Journal on Software Tools for Technology Transfer (May 2018)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in International Journal on Software Tools for Technology Transfer (May 2018)
Article in International Journal on Software Tools for Technology Transfer (March 2018)