Login / Signup

Ablaufspezifikation durch Datenflußdiagramme und Axiome.

Friederike Nickl
Published in: GI Jahrestagung (1994)
Keyphrases