Evaluating the suitability of state‐based formal methods for industrial deployment
Article in Software Practice and Experience (September 2018)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Software Practice and Experience (September 2018)
Article in Science of Computer Programming (December 2016)
Article in Journal of Computer Security (November 2016)