[klee-dev] KLEE-related projects/papers

[Cristian Cadar]

   Hi all,

   We decided to add a webpage to the KLEE website listing 
projects/papers that use or extend KLEE.  Please let me know if there 
are any additional papers that we should list!
   http://klee.llvm.org/Publications.html

   Best,
   Cristian