Diff for "ScientificSeminar" - RESEARCH @ info.uvt.ro

Differences between revisions 52 and 54 (spanning 2 versions)

Previous years:

2014

Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)

Madalina Erascu, West University of Timisoara

Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)

Madalina Erascu, West University of Timisoara

-  ⇤ ← Revision 52 as of 2014-02-26 14:31:39 → 
  Size: 785
  Editor: IsabelaDramnesc
  Comment:
+   ← Revision 54 as of 2014-02-26 14:33:10 → ⇥
  Size: 785
  Editor: IsabelaDramnesc
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 12:
----
+----
-Line 19:
+Line 18:
----
+----

Menu