AdaCore Tech Days Prez on SPARK

by Yannick Moy in Events, Videos – February 19, 2016

Hristian Kirtchev, who leads the developments of the GNAT compiler frontend, gave a very clear presentation of SPARK at the last AdaCore Tech Days in Boston. This was recorded, here is the video.

 

comments powered by Disqus