Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Event
Test & Proof 2011
Zurich, Switzerland
Jun 30, 2011 - Jul 1, 2011
Claire Dross will present the paper “Correct Code Containing Containers”.
Share and Enjoy:
More Info
Press
Articles
Events
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2023
Jun 13-16, 2023
Lisbon, Portugal
View All Events