MLA
Martínez Lopez, Pablo E. "Static Type Systems: From Specification to Implementation." Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, IGI Global, 2007, pp. 302-357. https://doi.org/10.4018/978-1-59140-851-2.ch011
APA
Martínez Lopez, P. E. (2007). Static Type Systems: From Specification to Implementation. In A. Dasso & A. Funes (Eds.), Verification, Validation and Testing in Software Engineering (pp. 302-357). IGI Global. https://doi.org/10.4018/978-1-59140-851-2.ch011
Chicago
Martínez Lopez, Pablo E. "Static Type Systems: From Specification to Implementation." In Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, 302-357. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59140-851-2.ch011
Export Reference