MLA
Dong, Jing, et al. "Formal Specification and Verification of Design Patterns." Design Pattern Formalization Techniques, edited by Toufik Taibi, IGI Global, 2007, pp. 94-108. https://doi.org/10.4018/978-1-59904-219-0.ch005
APA
Dong, J., Alencar, P., & Cowan, D. (2007). Formal Specification and Verification of Design Patterns. In T. Taibi (Ed.), Design Pattern Formalization Techniques (pp. 94-108). IGI Global. https://doi.org/10.4018/978-1-59904-219-0.ch005
Chicago
Dong, Jing, Paulo Alencar, and Donald Cowan. "Formal Specification and Verification of Design Patterns." In Design Pattern Formalization Techniques, edited by Toufik Taibi, 94-108. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-219-0.ch005
Export Reference
