Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Stile di citazione ChicagoCate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
Citazione MLACate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.