OBSCURE eine Spezifikations- und Verifikationsumgebung
Loeckx, Jacques 1931-2020
OBSCURE eine Spezifikations- und Verifikationsumgebung Jacques Loeckx - 12 Bl. graph. Darst. - [Technischer Bericht] / Fachbereich Informatik, Universität des Saarlandes, Saarbrücken A [19]89,6 . - 1989,6 . - Universität des Saarlandes Fachbereich Informatik Technischer Bericht / A 1989,6 . - .
OBSCURE eine Spezifikations- und Verifikationsumgebung Jacques Loeckx - 12 Bl. graph. Darst. - [Technischer Bericht] / Fachbereich Informatik, Universität des Saarlandes, Saarbrücken A [19]89,6 . - 1989,6 . - Universität des Saarlandes Fachbereich Informatik Technischer Bericht / A 1989,6 . - .