MLA
Calinescu, Radu, et al. "Formal Methods for the Development and Verification of Autonomic IT Systems." Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, IGI Global, 2012, pp. 1-37. https://doi.org/10.4018/978-1-60960-845-3.ch001
APA
Calinescu, R., Kikuchi, S., & Kwiatkowska, M. (2012). Formal Methods for the Development and Verification of Autonomic IT Systems. In P. Cong-Vinh (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 1-37). IGI Global. https://doi.org/10.4018/978-1-60960-845-3.ch001
Chicago
Calinescu, Radu, Shinji Kikuchi, and Marta Kwiatkowska. "Formal Methods for the Development and Verification of Autonomic IT Systems." In Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, 1-37. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3.ch001
Export Reference