Leveraging Applications of Formal Methods

MLA

Margaria, Tiziana, et al. Leveraging Applications of Formal Methods. Springer Berlin Heidelberg, 2006.

APA

Margaria, T., Kanade, T., Margaria-Steffen, T., Steffen, B., & Kittler, J. (2006). Leveraging Applications of Formal Methods. Springer Berlin Heidelberg.

Chicago

Margaria, Tiziana, Takeo Kanade, Tiziana Margaria-Steffen, Bernhard Steffen, and Josef Kittler. Leveraging Applications of Formal Methods. : Springer Berlin Heidelberg, 2006.