[klee-dev] Full Name of KLEE

[K Kylin]

Hi,
    I read papers about KLEE, but I didn't find the full name of KLEE.
    So what's the full name of KLEE, or  is KLEE not an abbreviation、
    Thanks.
                                                  Kylin
-------------- next part --------------
HTML attachment scrubbed and removed