"Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe ..."

Alexander B. Romanovsky, Tullio Vardanega (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics