"Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe ..."

Keith Hardy, James S. Briggs (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics