Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Technische Universität Graz Home
English
Deutsch
Home
Personen
Veröffentlichungen
Organisationen
Projekte
Aktivitäten
Preise
Presseberichte
Nach Expertise, Namen oder Zugehörigkeit suchen
TIAPS Workshop at IFAD
Aichernig, B.
(Redner/in)
Institut für Softwaretechnologie (7160)
Aktivität
:
Vortrag oder Präsentation
›
Vortrag bei Workshop, Seminar oder Kurs
›
Science to science
Beschreibung
Talk: Generating Proof Obligations for VDM-SL Specifications
Zeitraum
28 Nov. 1996
Ereignistitel
TIAPS Workshop at IFAD
Veranstaltungstyp
Workshop