Lead of Technical Account Management and Business Development

AdaCore

Articles 1 - 1
Uncategorized

Code cleaning with SPARK and Ada: Cut development costs upfront - Other

August 16, 2017
Leveraging an expressive and formal specification from the start makes it easier to respect requirements, provide automatic verification, and prevent problems or detect them early in development.
Articles 1 - 1