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 
- Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
08061 Executive Summary -- Types, Logics and Semantics for State.
- Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
- Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
08061 Abstracts Collection -- Types, Logics and Semantics for State.
Copyright © Mon Mar 15 03:28:34 2010
by Michael Ley (ley@uni-trier.de)
