[FRIAM] Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors - News - Carnegie Mellon University
Frank Wimberly
wimberly3 at gmail.com
Sat Dec 26 17:36:34 EST 2020
https://www.cmu.edu/news/stories/archives/2020/december/obituary-ed-clarke.html?fbclid=IwAR2ZITw4mPMaZRMzQ0JDOMln-A_Fw-bkM646F6TUzwZ_s4bkeLiqz9Hk18Y
I attended many meetings with Ed when we both worked on the Spice Project.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20201226/f22a64e7/attachment.html>
More information about the Friam
mailing list