Tudor Jebelean, Laura Kovacs,
"Automated Generation of Loop Invariants by Recurrence Solving in Theorema"
, in D. Petcu and V. Negru and D. Zaharie and T. Jebelean: Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04), Mirton Publisher, Timisoara, Romania, Seite(n) 451-464, 9-2004, ISBN: 973-661-441-7
Original Titel:
Automated Generation of Loop Invariants by Recurrence Solving in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04)
Forschungs-