Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Citación estilo ChicagoCate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
Cita MLACate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Warning: These citations may not always be 100% accurate.