CITATION STYLE
Broadfoot, G. H. (2005). ASD case notes: Costs and benefits of applying formal methods to industrial control software. In Lecture Notes in Computer Science (Vol. 3582, pp. 548–551). Springer Verlag. https://doi.org/10.1007/11526841_39
Mendeley helps you to discover research relevant for your work.