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 18 publications that cite this research output on Dimensions.
Article in Software Practice and Experience (September 2018)
Article in Future Generation Computer Systems (March 2017)
Article in Scientific Annals of Computer Science (January 2017)