On JML: topics in tool-assisted verification of Java programs

Authors
Publication date
1 January 2006
Publisher
[S.l.] : [S.n.]

Abstract

Contains fulltext : 36183.pdf (Publisher’s version ) (Open Access)RU Radboud Universiteit Nijmegen, 24 april 2006Promotor : Jacobs, B.P.F. Co-promotor : Poll, E.131 p

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Radboud Repository

    redirect
    oaioai:repository.ubn.ru.nl:2066/...
    Last time updated on 06/09/2013

    NARCIS

    redirect
    Last time updated on 03/09/2017