Cite
MLA Citation
Atif Mashkoor et al.. “Evaluating the suitability of state‐based formal methods for industrial deployment.” Software, practice & experience, vol. 48, 2018, pp. 2350–2379. http://access.bl.uk/ark:/81055/vdc_100071735294.0x00005d