1,117 followers
https://t.co/IeyVE9y2yQ Clarke先生…
https://t.co/IeyVE9y2yQ Clarke先生…
RT @jhasomesh: I was going through my old research notes, and found lots of notes from the time when we were working on CEGAR (https://t.co…
RT @jhasomesh: I was going through my old research notes, and found lots of notes from the time when we were working on CEGAR (https://t.co…
I was going through my old research notes, and found lots of notes from the time when we were working on CEGAR (https://t.co/tO0YIrUpTi) One of my close friends/colleagues and co-author of this paper (Helmut Veith) is no longer with us 😢 20 yr anniversary