Evaluating the suitability of state‐based formal methods for industrial deployment
Article in Software Practice and Experience (September 2018)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Software Practice and Experience (September 2018)