Towards formal specification and proof of finite element software within the ates development system
By: ten Eric Cate
Contributors: Universiteit Twente
Published: 1963
Language: eng
Number of pages: 236
Notes: Thesis (doctoral)--Universiteit Twente, 1963.