Types, Logics and Semantics for State

200820082008

Keyphrases

Publications

2008

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

volume 8061, 2008

Types, Logics and Semantics for State, 03.02. - 08.02.2008 Types, Logics and Semantics for State 8061 (2008)