MLA
Dong, Jing, Paulo Alencar and Donald Cowan. "Formal Specification and Verification of Design Patterns." Design Pattern Formalization Techniques. IGI Global, 2007. 94-108. Web. 26 Apr. 2018. doi: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). Hershey, PA: IGI Global. doi: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, ed. Toufik Taibi, 94-108 (2007), accessed April 26, 2018. doi:10.4018/978-1-59904-219-0.ch005
Export Reference
