"Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe ..."

Tullio Vardanega, Andy J. Wellings (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics