Theorem Prover Supported Logics for Small Imperative Languages

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

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	onbekend
Publisher	UU WINFI Informatica en Informatiekunde
Volume	2005-046
Edition	UU-CS
Publication status	Published - 2005

Keywords

@book{9f7ef183fe914c8ba074a74d43247dfb,

title = "Theorem Prover Supported Logics for Small Imperative Languages",

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. and H. Suhartanto",

year = "2005",

language = "Undefined/Unknown",

volume = "2005-046",

publisher = "UU WINFI Informatica en Informatiekunde",

edition = "UU-CS",

}

TY - BOOK

T1 - Theorem Prover Supported Logics for Small Imperative Languages

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

AU - Azurat, A.

AU - Vos, T.E.J.

AU - van Leeuwen, A.J.

AU - Suhartanto, H.

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

VL - 2005-046

BT - Theorem Prover Supported Logics for Small Imperative Languages

PB - UU WINFI Informatica en Informatiekunde

CY - onbekend

ER -