John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock. Industrial Deployment of Formal Methods: Trends and Challenges. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 123-143, Springer, 2013. [doi]
@incollection{FitzgeraldBLW13, title = {Industrial Deployment of Formal Methods: Trends and Challenges}, author = {John S. Fitzgerald and Juan Bicarregui and Peter Gorm Larsen and Jim Woodcock}, year = {2013}, doi = {10.1007/978-3-642-33170-1_10}, url = {http://dx.doi.org/10.1007/978-3-642-33170-1_10}, researchr = {https://researchr.org/publication/FitzgeraldBLW13}, cites = {0}, citedby = {0}, pages = {123-143}, booktitle = {Industrial Deployment of System Engineering Methods}, editor = {Alexander Romanovsky and Martyn Thomas}, publisher = {Springer}, isbn = {978-3-642-33170-1}, }