Back to Results
First PageMeta Content
Computer science / Edmund M. Clarke / Carnegie Mellon School of Computer Science / Randal Bryant / Turing Award / Formal verification / Allen Newell / Model checking / Carnegie Mellon Silicon Valley / Turing Award laureates / Carnegie Mellon University / Science


[removed]CURRICULUM VITAE
Add to Reading List

Document Date: 2013-07-26 13:48:43

Open Document

File Size: 226,43 KB

Share Result on Facebook
UPDATE