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.0249798297882
getting publication: 0.408020019531
total: 0.435269832611