MLA
Jorge, J. Santiago, et al. "Certifying Properties of Programs Using Theorem provers." Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, IGI Global, 2007, pp. 252-301. https://doi.org/10.4018/978-1-59140-851-2.ch010
APA
Jorge, J. S., Gulias, V. M., & Cabrero, D. (2007). Certifying Properties of Programs Using Theorem provers. In A. Dasso & A. Funes (Eds.), Verification, Validation and Testing in Software Engineering (pp. 252-301). IGI Global. https://doi.org/10.4018/978-1-59140-851-2.ch010
Chicago
Jorge, J. Santiago, Victor M. Gulias, and David Cabrero. "Certifying Properties of Programs Using Theorem provers." In Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, 252-301. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59140-851-2.ch010
Export Reference
![Mendeley](https://coverimages.igi-global.com/images/mendeley.png)