"Aspects of Design, Test and Validation of the Software for a Computerized ..."

Udo Voges (1976)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics