AWS re:Invent 2016 - Automated Formal Reasoning About AWS Systems → January 16, 2017 by Marc Handelman in All is Information, Cloud Security, Conferences, Education, Information Security