greta-sneed documents

The Evolution of Testing Methodology at AWS: From Status Quo To Formal Methods With TLA+ Tim Rath Principal Engineer AWS Database Services Amazon.com 1
Documents The Evolution of Testing Methodology at AWS: From Status Quo To Formal Methods With TLA+ Tim Rath Principal Engineer AWS Database Services Amazon.com 1