Probamos con recompensas. Probamos auditorías. Nos seguían destrozando. @The3D_ SVP de Ingeniería @aave se une al panel de cierre para decirnos si los métodos formales son la solución. Cannes, 27 de marzo.