APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.