Building Verification Condition Generators by Compositional Extensions

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

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht
Publisher	Utrecht University: Information and Computing Sciences
Volume	2004-054
Edition	UU-CS
Publication status	Published - 2004

Keywords

@book{e8800fba22824bb2b4b674595899ab88,

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",

year = "2004",

language = "Undefined/Unknown",

volume = "2004-054",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}

TY - BOOK

T1 - Building Verification Condition Generators by Compositional Extensions

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

AU - Azurat, A.

AU - Vos, T.E.J.

PY - 2004

Y1 - 2004

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

VL - 2004-054

BT - Building Verification Condition Generators by Compositional Extensions

PB - Utrecht University: Information and Computing Sciences

CY - Utrecht

ER -