Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Chicago Style (17th ed.) CitationCate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
ציטוט MLACate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.