Re: Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors - News - Carnegie Mellon University

Posted by jon zingale on Dec 27, 2020; 5:47pm
URL: http://friam.383.s1.nabble.com/Edmund-Clarke-Pioneered-Methods-For-Detecting-Software-Hardware-Errors-News-Carnegie-Mellon-Universiy-tp7599936p7599941.html

Ha, those are the names of my brothers too!



--
Sent from: http://friam.471366.n2.nabble.com/

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn GMT-6  bit.ly/virtualfriam
un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
archives: http://friam.471366.n2.nabble.com/
FRIAM-COMIC http://friam-comic.blogspot.com/