FME'97 -- Formale Methoden in Graz

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. FME'97 -- Formale Methoden in Graz. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 3(3):34-35, 1997. ISSN 1028-5068.