Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Chicagoスタイル(17版)引用形式Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
MLA(8版)引用形式Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
警告: この引用は必ずしも正確ではありません.