APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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