Stage de recherche

Stage: Analyse statique modulaire precise par interpretation abstraite pour la preuve automatique de correction de programmes.

Université de Corse Pascal Paoli, 2005

rabitur in libero ut massa volutpat convallis morbi odio odio elementum eu interdum eu tincidunt in leo maecenas