Formal Methods: Applications and Technology

MLA

Brim, Luboš, et al. Formal Methods: Applications and Technology. Springer Berlin Heidelberg, 2007.

APA

Brim, L., Haverkort, B., Haverkort, B. R, Leucker, M., Pol, J., Pol, J. van den, & Pol, J. van de. (2007). Formal Methods: Applications and Technology. Springer Berlin Heidelberg.

Chicago

Brim, Luboš, Boudewijn Haverkort, Boudewijn R Haverkort, Martin Leucker, Jaco Pol, J. van den Pol, and Jaco van de Pol. Formal Methods: Applications and Technology. : Springer Berlin Heidelberg, 2007.