Formal methods

Sort by:
Complete list of publications and software related to Formal methods
About me
Lead Google's anti-abuse research. Develop new ways to protect users and disrupt bad guys. Make Chrome safer and faster. Help keeping G+ and Gmail clean. Wear berets. Do magic tricks.
side bar: 0.202120065689
getting publication: 2.10061001778
total: 2.39853000641