Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Style de citation Chicago (17e éd.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
Style de citation MLA (8e éd.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Attention : ces citations peuvent ne pas être correctes à 100%.