Formal methods in system design an international journal (Dordrecht [u.a.] Springer, 1992)
Keywords: Zeitschrift