MLA
Dasso, Aristides, and Ana Funes. "The What, How, and When of Formal Methods." Advanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics, edited by Mehdi Khosrow-Pour, D.B.A., IGI Global, 2019, pp. 1600-1614. https://doi.org/10.4018/978-1-5225-7598-6.ch118
APA
Dasso, A. & Funes, A. (2019). The What, How, and When of Formal Methods. In M. Khosrow-Pour, D.B.A. (Ed.), Advanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics (pp. 1600-1614). IGI Global. https://doi.org/10.4018/978-1-5225-7598-6.ch118
Chicago
Dasso, Aristides, and Ana Funes. "The What, How, and When of Formal Methods." In Advanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics, edited by Mehdi Khosrow-Pour, D.B.A., 1600-1614. Hershey, PA: IGI Global, 2019. https://doi.org/10.4018/978-1-5225-7598-6.ch118
Export Reference