Search

Proceedings


2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1996

1995

1994

  • Behavioural Program Development With the ISAR System
    Bauer, B., Hennicker, R
    Technischer Bericht, Systems for Computer-Aided Specification, Development and Verification, Workshop, Kiel, Deutschland, 4.-5. Juli 1994, Ed.: B. Buth, R. Berghammer, Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, Bericht 9416
  • Proving Properties over Attribute Grammars
    Bauer, B.
    Technischer Bericht, Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, Deutschland, 10.-11. März 1994, Ed.: U. Meyer, G. Snelting, Justus-Liebig-Universität Giessen, AG Informatik, Bericht 9402
  • Attributed Term Induction - A Proof Principle for Attribute Grammars
    Bauer, B.
    Technischer Bericht, Technische Universität München, Institut für Informatik, 1994, p. 24 (Bericht 9403)

1993

1992

2013