FOSDEM 2013

Feb 2-3, 2013 – Brussels

AdaCore will give the following presentations: 

- "Simplifying the use of Formal Methods" and "Ada on Android" Jose Ruiz. 

- "Compile- Time Dimensionality Checking" Valentine Reboul.