With the workshop fast approaching, I have been waiting for registration to open (and wondering if the workshop is only open to those presenting). https://srg.doc.ic.ac.uk/klee21/registration.html
-- Alastair
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
