Computer-Aided Specification and Verification of Annotated Object-Oriented Programs

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

Original language	Undefined/Unknown
Title of host publication	Formal Methods for Open Object-Based Distributed Systems
Editors	B. Jacobs, A. Rensink
Publisher	Kluwer Academic Publishers
Pages	163-177
Number of pages	15
Publication status	Published - 2002

Cite this

@inproceedings{82a2f200d4c5454993ae3a7b9e606a5a,

title = "Computer-Aided Specification and Verification of Annotated Object-Oriented Programs",

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

year = "2002",

language = "Undefined/Unknown",

pages = "163--177",

editor = "B. Jacobs and A. Rensink",

booktitle = "Formal Methods for Open Object-Based Distributed Systems",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}