Towards formal specification and proof of finite element software within the ates development system

Eric ten Cate

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Original languageUndefined
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Zandbergen, P.J., Supervisor
    • Duijvestijn, A.J.W., Supervisor
    • Gragert, P.K.H., Advisor
    Award date13 Sept 1991
    Place of PublicationEnschede
    Publisher
    Publication statusPublished - 13 Sept 1991

    Keywords

    • METIS-140273

    Cite this