Madalina Erascu,
"Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms"
, Serie RISC Report Series, Nummer 12-16, RISC JKU, Hagenberg, 2012
Original Titel:
Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms
Forschungs-