[an error occurred while processing this directive]
Stefan Ram
garnoo
:
catalogue
:
Treeg
:
programming
:
language
:
specification language
:
description
:
is-subject-in
:
description
:
text
:
concept
/
language
/
English
languages for specification
%
:
description
:
is-object-in
:
description
:
see
:
concept
/
field
/
design by contract
%
:
description
:
treeg
:
concept
/
communication type
/
website
/
The Java Modeling Language (JML) Home Page
%