Differences

This shows you the differences between two versions of the page.

Link to this comparison view

people:jvanegue [2018/04/27 12:18]
jvanegue
people:jvanegue [2018/04/27 12:19] (current)
jvanegue [Notes from conferences]
Line 57: Line 57:
 ===== Notes from conferences ====== ===== Notes from conferences ======
  
-{{jvanegue/​files/​klee_workshop.pdf|Report on KLEE workshop}} +{{jvanegue/​files/​klee_workshop.pdf|Report on KLEE workshop}} ​\\ 
-// by Julien Vanegue and Peter Martin +//by Julien Vanegue and Peter Martin// \\ 
-The First International KLEE workshop on Symbolic Execution (Imperial College, London, UK, April 2018)+//The First International KLEE workshop on Symbolic Execution (Imperial College, London, UK, April 2018)// \\
  
 ===== Older papers ===== ===== Older papers =====
people/jvanegue.txt · Last modified: 2018/04/27 12:19 by jvanegue
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate to DokuWiki Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki Powered by OpenVZ Powered by Openwall GNU/*/Linux Bookmark and Share