Vasileios Koutavas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Vasileios Koutavas, Mitchell Wand: Bisimulations for Untyped Imperative Objects. ESOP 2006: 146-161

1 Vasileios Koutavas, Mitchell Wand: Small bisimulations for reasoning about higher-order imperative programs. POPL 2006: 141-152

	2006
2		Vasileios Koutavas, Mitchell Wand: Bisimulations for Untyped Imperative Objects. ESOP 2006: 146-161
1		Vasileios Koutavas, Mitchell Wand: Small bisimulations for reasoning about higher-order imperative programs. POPL 2006: 141-152

Coauthor Index

1 Mitchell Wand [1] [2]