APA (7th ed.) Citation

Clarke, E. M., & Wing, J. M. Formal methods: State of the art and future directions. ACM computing surveys..

Chicago Style (17th ed.) Citation

Clarke, Edmund M., and Jeanneth M. Wing. "Formal Methods: State of the Art and Future Directions." ACM Computing Surveys. .

MLA (9th ed.) Citation

Clarke, Edmund M., and Jeanneth M. Wing. "Formal Methods: State of the Art and Future Directions." ACM Computing Surveys., .