APA citiranje

Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.

Chicago Style (17th ed.) Citation

Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.

MLA citiranje

Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.