Laura Kovacs,
"Using Combinatorial and Algebraic Techniques for Automatic Generation of Loop Invariants"
, Serie RISC Report Series, Nummer 05-16, RISC, Johannes Kepler University, Altenberger Str. 69, 4040 Linz, 2005
Original Titel:
Using Combinatorial and Algebraic Techniques for Automatic Generation of Loop Invariants
Sprache des Titels:
Englisch
Veröffentlicher:
RISC
Verlagsanschrift:
Johannes Kepler University, Altenberger Str. 69, 4040 Linz