On Behavioral Subtyping and Completeness

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	7th Workshop on Formal techniques for Java-like Programs (FTfJP 2005)
Editors	J. Vitek, F. Logozzo
Publication status	Published - 2005

PierikdB:05b
Paper published on internet, accepted for ICMI Study 15 Conference, 15-21 May 2005

Keywords

@inproceedings{16f2025b3967433d8649b4fe7dd6329a,

title = "On Behavioral Subtyping and Completeness",

keywords = "Wiskunde en Informatica (WIIN)",

author = "C. Pierik and \{de Boer\}, F.S.",

note = "PierikdB:05b Paper published on internet, accepted for ICMI Study 15 Conference, 15-21 May 2005",

year = "2005",

language = "Undefined/Unknown",

editor = "J. Vitek and F. Logozzo",

booktitle = "7th Workshop on Formal techniques for Java-like Programs (FTfJP 2005)",

}

TY - GEN

T1 - On Behavioral Subtyping and Completeness

AU - Pierik, C.

AU - de Boer, F.S.

N1 - PierikdB:05b Paper published on internet, accepted for ICMI Study 15 Conference, 15-21 May 2005

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

BT - 7th Workshop on Formal techniques for Java-like Programs (FTfJP 2005)

A2 - Vitek, J.

A2 - Logozzo, F.

ER -