05. – 09. Juni 1995, Dagstuhl Seminar 9523
Methods for Semantics and Specification
J.-R. Abrial, E. Börger, H. Langmaack
Auskunft zu diesem Dagstuhl Seminar erteilt
The seminar took the form of a "competition" between different researchers who had been invited as representatives of their particular methods. The competition was on the steam boiler control specification problem of J.-R. Abrial, E. Börger, and H. Langmaack, which has been posed to the participants as a common case study.