Mitarbeiter
Lehre
Forschung
Projekte
Publikationen
Wiss. Veröffentlichungen
Bücher
Beiträge
Tutorien
Technische Berichte
Dissertationen
Kontakt
PvS@Work
This page in English
Suche
Sitemap
Kontakt
E-Mail
Informatik
»
Lehrstühle
»
Softwaretechnik und Programmiersprachen
»
Programmierung verteilter Systeme
»
Publikationen
»
Wiss. Veröffentlichungen
»
Verification and Validation of Attribute Grammars
Verification and Validation of Attribute Grammars
Bauer, B.
Vortrag beim British Colloquium on Theoretical Computer Science, BCTCS 11, Swansea, Wales, 2.-5. April 1995