spazioit.com
A “new” Static Analyzer: The Compiler
This industrial presentation was given by Spazio IT at Ada-Europe 2019.
