Havelund, K., Peleska, J., Roscoe, B., & Vink, E. d. (2020). Formal Methods. Springer International Publishing.
シカゴスタイル引用形Havelund, Klaus, Jan Peleska, Bill Roscoe, , Erik de Vink. Formal Methods. Springer International Publishing, 2020.
MLA引用形式Havelund, Klaus, Jan Peleska, Bill Roscoe, , Erik de Vink. Formal Methods. Springer International Publishing, 2020.
警告: この引用は必ずしも正確ではありません.