author = { Abrial, Jean-Raymond AND Börger, Egon AND Langmaack, Hans Jean-Raymond Abrial and Egon Börger and Hans Langmaack },

title = { Methods for Semantics and Specification (Dagstuhl Seminar 9523) },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

year = {1995},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }