CITATION STYLE
Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen, J. P., & Margaria, T. (2008). Software engineering and formal methods. Communications of the ACM, 51(9), 54–59. https://doi.org/10.1145/1378727.1378742
Mendeley helps you to discover research relevant for your work.