Minor changes

hbgit · hbgit · commit 805db9ec17a1 · 2018-12-21T16:55:22.000-04:00
Signed-off-by: Herbert Rocha &lt;herberthb12@gmail.com&gt;
diff --git a/publications.html b/publications.html
@@ -44,7 +44,7 @@ <h2>Publications and Talks Using Map2Check</h2>
                             <li>
                             Rocha, H., Cordeiro, L., Barreto, R. and Netto, J. 
                             <a href="http://eprints.ecs.soton.ac.uk/21649/">
-                            Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs.</a> In 4th Brazilian Workshop on Systematic and Automated Software Testing, pp. 121-130, SBC,  2010. <a href="{{ site.baseurl }}/assets/images/pdf_talks/SAST_2010_v3.pdf">[Presentation]</a>
+                            Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs.</a> In 4th Brazilian Workshop on Systematic and Automated Software Testing, pp. 121-130, SBC,  2010. <a href="{{ site.baseurl }}/assets/pdf_talks/SAST_2010_v3.pdf">[Presentation]</a>
                             </li>
                         </ol>
                     </div>
