Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Citação do estilo Chicago (17ª ed.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
Citação MLA (8ª ed.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.