{"version":"1.0","provider_name":"Microsoft Research","provider_url":"https:\/\/www.microsoft.com\/en-us\/research","author_name":"Lisa Clawson","author_url":"https:\/\/www.microsoft.com\/en-us\/research\/people\/lclawson\/","title":"Z3 wins 2015 ACM SIGPLAN Award - Microsoft Research","type":"rich","width":600,"height":338,"html":"
Z3 wins 2015 ACM SIGPLAN Award<\/a><\/blockquote>