Commit 665202ce authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added comments in tex format

parent 26c97a4a
......@@ -283,3 +283,9 @@ test how much of their analysis we can capture and enhance by
formalizing it in our system.
We end this presentation of related work with a discussion on side
effects. Even if in our system we did not take into account
side-effects and ...
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment