Dagstuhl Seminar Proceedings: Types, Logics and Semantics for State 2008

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (Eds.): Types, Logics and Semantics for State, 03.02. - 08.02.2008. Dagstuhl Seminar Proceedings 08061 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 BibTeX

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
08061 Executive Summary -- Types, Logics and Semantics for State.
Electronic Edition (link) BibTeX
Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
Electronic Edition (link) BibTeX
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
08061 Abstracts Collection -- Types, Logics and Semantics for State.
Electronic Edition (link) BibTeX