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