Result: On JML

*Title*:

On JML : topics in tool-assisted verification of Java programs / door Cornelis-Bart Breunesse

*Author/editor-in-chief*:

Breunesse, Cees-Bart

*Manufacture*:

2006

*Physical description scale*:

131 S.

*Format*:

*book*

*Language*:

*eng*

*Dissertation note*:

Nijmegen, Univ., Diss., 2006

*Subject Added Keywords*:

*ISBN*:

9090204822 ; 9789090204826

*Result*: On JML