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]
Abstract is missing.