1. Oesterreichischer ISA-EUNET Workshop of the Austrian Computer Society, Arbeitskreis Software Qualit¨at und Verl¨asslichkeit

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Formale Methoden in der Praxis
Period28 Apr 1999
Held at1. Oesterreichischer ISA-EUNET Workshop of the Austrian Computer Society, Arbeitskreis Software Qualit¨at und Verl¨asslichkeit
Event typeWorkshop