Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals

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

Original language	English
Title of host publication	Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148
Editors	F.Fazekas et al
Place of Publication	Balatonalmadi, Hungary
Publisher	Technical University of Budapest, PAMM-Centre
Number of pages	10
Publication status	Published - May 2005

Fields of science

@inproceedings{839672278a164f6fbf54f6fc868f27c8,

title = "Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals",

author = "Laura Kovacs and Tudor Jebelean and A. Kovacs",

year = "2005",

month = may,

language = "English",

editor = "\{F.Fazekas et al\}",

booktitle = "Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148",

publisher = "Technical University of Budapest, PAMM-Centre",

}

Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals. / Kovacs, Laura; Jebelean, Tudor; Kovacs, A.
Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148. ed. / F.Fazekas et al. Balatonalmadi, Hungary: Technical University of Budapest, PAMM-Centre, 2005.

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

TY - GEN

T1 - Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals

AU - Kovacs, Laura

AU - Jebelean, Tudor

AU - Kovacs, A.

PY - 2005/5

Y1 - 2005/5

M3 - Conference proceedings

BT - Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148

A2 - F.Fazekas et al, null

PB - Technical University of Budapest, PAMM-Centre

CY - Balatonalmadi, Hungary

ER -