Adrian Francalanza (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437

7 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

4 Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112

Selection of 3 from 9 records - Adrian Francalanza has 8 coauthors

8		Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
7		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
4		Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112