Formal Methods: Foundations and Applications

MLA

Davies, Jim, et al. Formal Methods: Foundations and Applications. Springer Berlin Heidelberg, 2011.

APA

Davies, J., Kanade, T., Silva, L., Simao, A., & Simão, A. (2011). Formal Methods: Foundations and Applications. Springer Berlin Heidelberg.

Chicago

Davies, Jim, Takeo Kanade, Leila Silva, Adenilso Simao, and Adenilso Simão. Formal Methods: Foundations and Applications. : Springer Berlin Heidelberg, 2011.