APA Citatie

Cuellar, J., & Maibaum, T. (2020). FM 2008: Formal Methods. Springer Berlin Heidelberg.

Chicago Style citaat

Cuellar, Jorge, en Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.

MLA citatie

Cuellar, Jorge, en Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.

Let op: Deze citaties zijn niet altijd 100% accuraat.