{"version":"1.0","type":"link","title":"AdaCore - Newikis","description":"AdaCore è una società informatica che produce strumenti di sviluppo software open source per i linguaggi di programmazione Ada e SPARK. La società ha sede nordamericana a New York ed europea a Parigi. È stata fondata nel 1994 con il nome Ada Core Technologies (ACT), e nel 2004 ha effettuato un…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}