Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Cita Chicago Style (17a ed.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
Cita MLA (8a ed.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Precaución: Estas citas no son 100% exactas.