AdaCore Product Update 2020

AdaCore technical staff presents the latest news about the company's current and planned product offerings.