Cuellar, J., & Maibaum, T. (2020). FM 2008: Formal Methods. Springer Berlin Heidelberg.
Style de citation ChicagoCuellar, Jorge, et Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.
Style de citation MLACuellar, Jorge, et Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.