Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods

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-144
Editors	F. Fazekas et al
Place of Publication	Balatonalmadi, Hungary
Publisher	Technical University of Budapest, PAMM-Centre
Pages	125-134
Number of pages	10
Volume	CVI
Publication status	Published - May 2004

Name	Bulletins for applied mathematics
ISSN (Print)	0133-3526

Fields of science

Jebelean, Tudor ; Kovacs, Laura. / Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods. Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144. editor / F. Fazekas et al. Vol. CVI Balatonalmadi, Hungary : Technical University of Budapest, PAMM-Centre, 2004. pp. 125-134 (Bulletins for applied mathematics).

@inproceedings{f0c4da4eebe0400b8dff5b4c41a58ea4,

title = "Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods",

author = "Tudor Jebelean and Laura Kovacs",

year = "2004",

month = may,

language = "English",

volume = "CVI",

series = "Bulletins for applied mathematics",

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

pages = "125--134",

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

booktitle = "Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144",

}

Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods. / Jebelean, Tudor; Kovacs, Laura.
Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144. ed. / F. Fazekas et al. Vol. CVI Balatonalmadi, Hungary: Technical University of Budapest, PAMM-Centre, 2004. p. 125-134 (Bulletins for applied mathematics).

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

TY - GEN

T1 - Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods

AU - Jebelean, Tudor

AU - Kovacs, Laura

PY - 2004/5

Y1 - 2004/5

M3 - Conference proceedings

VL - CVI

T3 - Bulletins for applied mathematics

SP - 125

EP - 134

BT - Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144

A2 - F. Fazekas et al, null

PB - Technical University of Budapest, PAMM-Centre

CY - Balatonalmadi, Hungary

ER -