APA引用形式

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

シカゴスタイル引用形

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

MLA引用形式

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

警告: この引用は必ずしも正確ではありません.