Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius. Analyzing the effects of formal methods on the development of industrial control software. In IEEE 27th International Conference on Software Maintenance, ICSM 2011, Williamsburg, VA, USA, September 25-30, 2011. pages 467-472, IEEE, 2011. [doi]
Abstract is missing.