Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Dyfyniad Arddull ChicagoCate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
Dyfyniad MLACate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.