ISSE

Search

Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz

W. Reif

Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz

published 1999 Informatik - Forschung und Entwicklung. 14(3)