Tag: software tools
-
Edmund Clarke wins Turing Award!
Wow, the guy I took compilers from as an undergraduate has just won the Turing Award for his work in model checking. How cool is that?
Wow, the guy I took compilers from as an undergraduate has just won the Turing Award for his work in model checking. How cool is that?