Audebaud, P., & Paulin-Mohring, C. (2020). Mathematics of Program Construction. Springer Berlin Heidelberg.
シカゴスタイル引用形Audebaud, Philippe, , Christine Paulin-Mohring. Mathematics of Program Construction. Springer Berlin Heidelberg, 2020.
MLA引用形式Audebaud, Philippe, , Christine Paulin-Mohring. Mathematics of Program Construction. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.