Login / Signup
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.
Ingo Schreiber
Jens Schönherr
Eva Fordran
Klaus Schneider
Bernd Straube
Published in:
MBMV (1998)
Keyphrases
</>