Formal Methods, Foundations and Applications

MLA

Simao, and Carroll Morgan. Formal Methods, Foundations and Applications. Springer Berlin Heidelberg, 2011.

APA

Simao, S., & Morgan, C. (2011). Formal Methods, Foundations and Applications. Springer Berlin Heidelberg.

Chicago

Simao, and Carroll Morgan. Formal Methods, Foundations and Applications. : Springer Berlin Heidelberg, 2011.