"Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe ..."

Jean-Pierre Rosen, Alfred Strohmeier (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics