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.
警告: この引用は必ずしも正確ではありません.