Formal Methods: Foundations and Applications

MLA

Oliveira, Marcel Vinícius Medeiros, Takeo Kanade, and Jim Woodcock. Formal Methods: Foundations and Applications. Springer Berlin Heidelberg, 2009.

APA

Oliveira, M. Vinícius Medeiros, Kanade, T., & Woodcock, J. (2009). Formal Methods: Foundations and Applications. Springer Berlin Heidelberg.

Chicago

Oliveira, Marcel Vinícius Medeiros, Takeo Kanade, and Jim Woodcock. Formal Methods: Foundations and Applications. : Springer Berlin Heidelberg, 2009.