Catégorie : Séminaires

Dec 19 2008

Séminaire Marelle : Connecting Grobner bases programs with Coq to do proofs in algebra, geometry and arithmetics

De Yves BERTOT dans la catégorie Séminaires

Désolé, cet article est seulement disponible en Anglais Américain.

Dec 12 2008

Séminaire Marelle : Validation of Security Mechanisms for Embedded Systems

De Yves BERTOT dans la catégorie Séminaires

Désolé, cet article est seulement disponible en Anglais Américain.

1
…
3
4
5