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. http://doi:10.4018/978-1-59140-851-2.ch011
APA
Martínez Lopez, P. E. (2007). Static Type Systems: From Specification to Implementation. In Dasso, A., & Funes, A. (Eds.), Verification, Validation and Testing in Software Engineering (pp. 302-357). IGI Global. http://doi: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. http://doi:10.4018/978-1-59140-851-2.ch011
Export Reference
