Assertional data reification proofs: survey and perspective

J. Coenen, W.P. de Roever, Jakob Zwiers

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

Original language	Undefined
Title of host publication	4th BCS-FACS Refinement Workshop
Place of Publication	Duitsland
Pages	1-16
Number of pages	16
Publication status	Published - 1 Sept 1991

Keywords

@inproceedings{bd1c952bb00d49069d42c6f52147b783,

title = "Assertional data reification proofs: survey and perspective",

keywords = "METIS-119912",

author = "J. Coenen and {de Roever}, W.P. and Jakob Zwiers",

year = "1991",

month = sep,

day = "1",

language = "Undefined",

pages = "1--16",

booktitle = "4th BCS-FACS Refinement Workshop",

}