Telecharger Cours

Analyse de programmes par SMT-Solving - Matthieu Moy

Ainsi, j'ai pu assister à une présenta- tion du travail d'un chercheur autrichien dans le domaine de l'analyse de programmes, lire des articles sur ce qu'il se ...



Download