A Proof Outline Logic for Object-Oriented Programming

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	413-442
Number of pages	30
Journal	Theoretical Computer Science
Volume	343
Publication status	Published - 2005

PierikdB:05a
CSMR '05

Keywords

@article{aca9d4627de849fdb1ac18f8d4ce95fd,

title = "A Proof Outline Logic for Object-Oriented Programming",

keywords = "Wiskunde en Informatica (WIIN)",

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

note = "PierikdB:05a CSMR '05",

year = "2005",

language = "Undefined/Unknown",

volume = "343",

pages = "413--442",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

}