thesis

Tools and verification techniques for integrated formal methods

Authors
Publication date
12 February 2004
Publisher

Abstract

Ph.DDOCTOR OF PHILOSOPH

    Similar works

    Full text

    thumbnail-image

    Available Versions

    ScholarBank@NUS

    redirect
    oaioai:scholarbank.nus.edu.sg:106...
    Last time updated on 09/11/2016