|
Size: 785
Comment:
|
Size: 776
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| Line 18: | Line 17: |
--- |
2014
Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)
Madalina Erascu, West University of Timisoara
- March 12, 2014
--- Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)
Madalina Erascu, West University of Timisoara
- March 5, 2014