Automatische Softwaretests

Beware of bugs in the above code;
I have only proved it correct, not tried it.
-- Donald Knuth


LinuxTag 2004, Karlsruhe


Bernhard Herzog  <Bernhard.Herzog@intevation.de>
Software Entwicklung
Intevation GmbH, Osnabrück