Cite
CITATION STYLE
APA
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
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free