"Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe ..."

Nabil Abdennadher, Fabrice Kordon (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics