[an error occurred while processing this directive]
Stefan Ram
garnoo
:
description
:
see
:
description
:
is-predicate-in
:
catalogue
:
Treeg
:
programming
:
language
:
specification language
:
concept
/
field
/
design by contract
%