How to Cook a Complete Hoare Logic for Your Pet OO Language

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

Original language	Undefined/Unknown
Title of host publication	Formal Methods for Components and Objects (Proc. of FMCO 2003)
Publisher	Springer
Pages	111-133
Number of pages	23
Publication status	Published - 2004

deBoerP:2004

Keywords

@inproceedings{3d997b9f09ad41bdb1d231c013f81d9e,

title = "How to Cook a Complete Hoare Logic for Your Pet OO Language",

keywords = "Wiskunde en Informatica (WIIN)",

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

note = "deBoerP:2004",

year = "2004",

language = "Undefined/Unknown",

pages = "111--133",

booktitle = "Formal Methods for Components and Objects (Proc. of FMCO 2003)",

publisher = "Springer",

}