SigAda 2011

Join Andrew Coombes of Rapita Systems as he introduces Rapita Verification Suite (RVS) products at ACM’s Annual International Conference on Ada and Related Technologies.

For more details visit http://www.sigada.org/conf/sigada2011/

Event Date: 
Sunday, November 6, 2011 - 21:00 to Thursday, November 10, 2011 - 17:00