Building Verification Condition Generators by Compositional Extensions

I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, A.J. van Leeuwen

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods
Editors	B.K. Aichernig, B. Beckert
Publisher	IEEE
Pages	220-230
Number of pages	11
Publication status	Published - 2005

Keywords

Prasetya, I. S. W. B., Azurat, A., Vos, T. E. J., & van Leeuwen, A. J. (2005). Building Verification Condition Generators by Compositional Extensions. In B. K. Aichernig, & B. Beckert (Eds.), Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods (pp. 220-230). IEEE. http://csdl.computer.org/dl/proceedings/sefm/2005/2435/00/24350220.pdf

@inproceedings{18636bc1cca546d1abf12e8c00114f05,

title = "Building Verification Condition Generators by Compositional Extensions",

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

author = "I.S.W.B. Prasetya and A. Azurat and T.E.J. Vos and {van Leeuwen}, A.J.",

note = "prasetya2005building-verification-condition-genera",

year = "2005",

language = "Undefined/Unknown",

pages = "220--230",

editor = "B.K. Aichernig and B. Beckert",

booktitle = "Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods",

publisher = "IEEE",

address = "United States",

}

Building Verification Condition Generators by Compositional Extensions. / Prasetya, I.S.W.B.; Azurat, A.; Vos, T.E.J. et al.
Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods. ed. / B.K. Aichernig; B. Beckert. IEEE, 2005. p. 220-230.

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

TY - GEN

T1 - Building Verification Condition Generators by Compositional Extensions

AU - Prasetya, I.S.W.B.

AU - Azurat, A.

AU - Vos, T.E.J.

AU - van Leeuwen, A.J.

N1 - prasetya2005building-verification-condition-genera

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Conference contribution

SP - 220

EP - 230

BT - Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods

A2 - Aichernig, B.K.

A2 - Beckert, B.

PB - IEEE

ER -