
Collège de France
Description
AdaCore's Yannick Moy was invited by Xavier Leroy, Software Sciences Chair of the prestigious Collège de France, to give a talk on "Preuve auto-active de programmes en SPARK" (in French).

AdaCore's Yannick Moy was invited by Xavier Leroy, Software Sciences Chair of the prestigious Collège de France, to give a talk on "Preuve auto-active de programmes en SPARK" (in French).