Tudor Jebelean, Laura Kovacs,
"Automated Generation of Loop Invariants by Recurrence Solving in Theorema"
, in Analele Universitatii din Timisoara, Seria Matematica - Informatica, Vol. XLII, Mirton Publisher, Seite(n) 151-166, 2004, ISSN: 1224-970X
Original Titel:
Automated Generation of Loop Invariants by Recurrence Solving in Theorema
Sprache des Titels:
Englisch
Journal:
Analele Universitatii din Timisoara, Seria Matematica - Informatica
Veröffentlicher:
Mirton Publisher
Volume:
XLII
Seitenreferenz:
151-166
Erscheinungsjahr:
2004
ISSN:
1224-970X
Anzahl der Seiten:
16
Notiz zur Publikation:
special issue on Computer Science - Proceedings of SYNASC'04
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-