1 DG for Development and Cooperation - Europeaid Directorate B : Quality and Impact Unit B1 : QUALITY OF DELIVERY SYSTEMS Technical Cooperation Reform.
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.