(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
シカゴスタイル引用形Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
MLA引用形式Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.