2 research outputs found

    Tools and verification techniques for integrated formal methods

    Get PDF
    Ph.DDOCTOR OF PHILOSOPH

    Formalizing and verifying software architectures

    Get PDF
    Master'sMASTER OF SCIENC
    corecore