(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
シカゴスタイル引用形Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
MLA引用形式Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.