spazioit.com
A “new” Static Analyzer: The Compiler
Spazio IT ha dato questa presentazione (in inglese) alla conferenza Ada-Europe 2019.