Home
>
Collaborations
> Collaborations
About LRI
Groups
Collaborations
Contracts and grants
Collaborations
Visitors
Research results
Open positions
Teaching
Useful informations
Collaboration with Université Paris 11 département de Mathématiques
Research activities:
>
Publications
Groups:
Contact:
HIVERT Florent
More information:
Collaborations
°
AdaCore SAS
avec
Verification of Algorithms, Languages and Systems
°
LSV, ENS Cachan
avec
Verification of Algorithms, Languages and Systems
°
System X FSF
avec
Verification of Algorithms, Languages and Systems
°
International Joint Project MoBasT
avec
Verification of Algorithms, Languages and Systems
°
GDR Informatique Mathématique
> more collaborations
