Press Center
Tuesday June 1, 2010
CompCert, formal verification of realistic compilers for critical software
AdaCore Internal Seminar
CompCert, formal verification of realistic compilers for critical software – Xavier Leroy – INRIA
AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to events@adacore.com.