Article
Aug 16 '17
Code cleaning with SPARK and Ada: Cut development costs upfront
Published in Embedded Computing Design
This article discusses how Ada and SPARK technology can cut development costs by detecting bugs earlier in the development cycle.
