Hi all,For the upcoming KLEE Workshop on Symbolic Execution (https://srg.doc.ic.ac.uk/klee18/), we have assembled a fantastic program of academia and industry keynotes, as well as contributed presentations and posters.
If you would like to participate, registration is now open (and free!) at https://srg.doc.ic.ac.uk/klee18/registration.html
Best, Cristian _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
