Tony Hoare making the connection between theology and program verification – via... (@ Microsoft Research Cambridge) http://picplz.com/BPTF
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Tony Hoare making the connection between theology and program verification – via... (@ Microsoft Research Cambridge) http://picplz.com/BPTF