Analyzing the effects of formal methods on the development of industrial control software

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
2011 2011 27th IEEE International Conference on Software Maintenance (ICSM)  
doi:10.1109/icsm.2011.6081983 dblp:conf/icsm/GrooteOW11 fatcat:sdzoyawinjat7ikwkewkzpyf6i