Category:AdaCore

<nowiki>AdaCore; AdaCore; AdaCore; AdaCore; AdaCore; AdaCore; AdaCore公司; AdaCore; società che produce strumenti di sviluppo software per i linguaggi Ada e SPARK; éditeur mondial d'outils de développement et de vérification de logiciels pour les applications critiques, dont les principaux bureaux sont situés à Paris et New-York; provider of software development and verification tools based in New-York and Paris; شركة أمريكية; americká firma; bedrijf uit Verenigde Staten van Amerika; Ada Core Technologies Inc. (New-York); AdaCore SAS (Paris); Ada Core Technologies; ACT; Ada Core Technologies Inc. (New-York); AdaCore SAS (Paris)</nowiki>