@proceedings{herausgeberschaft3657,
    affiliation = {Grundlagen der Programmierung},
    title = {Arbeitstreffen über: Grundlagen, Spezifikation, Implementierung und Verifikation von Programmiersprachen},
    keywords = {-},
    year = {1996},
    location = {Dresden, Germany},
    editor = {Array}
}