Retour au reportage Retour au reportage
20210159_0001

© Christian MOREL / IRIF / CNRS Images

Reference

20210159_0001

Discussion autour d’une technique issue de la théorie des automates, pour la vérification de programme

Discussion autour d’une technique issue de la théorie des automates, pour la vérification de programmes informatiques.

CNRS Institute(s)

Regional office(s)

Scientific topics

CNRS Images,

Our work is guided by the way scientists question the world around them and we translate their research into images to help people to understand the world better and to awaken their curiosity and wonderment.