How Amazon Web Services Uses Formal Methods

Chris Newcombe et al.

Communications of the ACM

April 2015, Volume 58, Number 4, pages 66-73

Available from the ACM