Reusable Specifications and Proofs Through Parameterization and Refinement

T.E.J. Vos, S.D. Swierstra

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 2nd International Conference on Computer Science and its applications
Publication status	Published - 2005

ICCSA 2004

Keywords

@inproceedings{676c2369ca47459baa5e4c0e290c67da,

title = "Reusable Specifications and Proofs Through Parameterization and Refinement",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "T.E.J. Vos and S.D. Swierstra",

note = "ICCSA 2004",

year = "2005",

language = "Undefined/Unknown",

booktitle = "Proceedings of the 2nd International Conference on Computer Science and its applications",

}

TY - GEN

T1 - Reusable Specifications and Proofs Through Parameterization and Refinement

AU - Vos, T.E.J.

AU - Swierstra, S.D.

N1 - ICCSA 2004

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Conference contribution

BT - Proceedings of the 2nd International Conference on Computer Science and its applications

ER -