New SPARK Pro 9 Development Environment Delivers Increased Security Assurance for Critical Projects AMSTERDAM, NY and PARIS--(Marketwire - March 24, 2010) -  Avionics Europe 2010 -- SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating...