Donald Sannella Martin Wirsing Department / Computer Science University / University of Edinburgh / Edinburgh Institut fSr Informatik Technische Universit / /
Person
Nat / Alsig(T)) Atarget / Donald Sannella Martin Wirsing / /
Position
General data constraints / model / WB / single model for any specification / /