Modelling, Controlling and Reasoning about State
- Amal Ahmed ,
- Nick Benton ,
- Lars Birkedal ,
- Martin Hofmann
Published by Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Dagstuhl Seminar Proceedings 10351
Seminar Proceedings, Executive Summary and Abstracts Collection