Media type: E-Article; E-Book; Report; Text Title: Methods for Semantics and Specification (Dagstuhl Seminar 9523) Contributor: Abrial, Jean-Raymond [Author]; Börger, Egon [Author]; Langmaack, Hans [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1995 Language: English DOI: https://doi.org/10.4230/DagSemRep.117 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access