"Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe ..."

Hubert B. Keller, Erhard Plödereder (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics