Vasileios Koutavas

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

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

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

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

Coauthor Index

1 Mitchell Wand [1] [2]