Laura Kovacs, A. Kovacs, Tudor Jebelean,
"Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals"
, in F.Fazekas et al: Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148, Technical University of Budapest, PAMM-Centre, Balatonalmadi, Hungary, 5-2005
Original Titel:
Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals
Sprache des Titels:
Englisch
Original Buchtitel:
Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148
Forschungs-