Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Chicago-Zitierstil (17. Ausg.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
MLA-Zitierstil (8. Ausg.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.