"VSE Verification Support Environment: Ein Werkzeug zur Entwicklung ..."

Markus Ullmann et al. (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics