MLA
Dasso, Aristides, and Ana Funes. "Formal Methods in Software Engineering." Encyclopedia of Information Science and Technology, First Edition, edited by Mehdi Khosrow-Pour, D.B.A., IGI Global, 2005, pp. 1205-1211. https://doi.org/10.4018/978-1-59140-553-5.ch213
APA
Dasso, A. & Funes, A. (2005). Formal Methods in Software Engineering. In M. Khosrow-Pour, D.B.A. (Ed.), Encyclopedia of Information Science and Technology, First Edition (pp. 1205-1211). IGI Global. https://doi.org/10.4018/978-1-59140-553-5.ch213
Chicago
Dasso, Aristides, and Ana Funes. "Formal Methods in Software Engineering." In Encyclopedia of Information Science and Technology, First Edition, edited by Mehdi Khosrow-Pour, D.B.A., 1205-1211. Hershey, PA: IGI Global, 2005. https://doi.org/10.4018/978-1-59140-553-5.ch213
Export Reference
