Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Chicago-стиль цитированияCate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
MLA-цитированиеCate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.