MLA
Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Validation Approach for Real-Time Databases." Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, IGI Global, 2007, pp. 111-135. https://doi.org/10.4018/978-1-59140-851-2.ch005
APA
Ribeiro Neto, P. F., Barbosa Perkusich, M. L., Oliveira de Almeida, H., & Perkusich, A. (2007). A Formal Verification and Validation Approach for Real-Time Databases. In A. Dasso & A. Funes (Eds.), Verification, Validation and Testing in Software Engineering (pp. 111-135). IGI Global. https://doi.org/10.4018/978-1-59140-851-2.ch005
Chicago
Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Validation Approach for Real-Time Databases." In Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, 111-135. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59140-851-2.ch005
Export Reference