Home
>
Collaborations
> Collaborations
About LRI
Groups
Collaborations
Contracts and grants
Collaborations
Visitors
Research results
Open positions
Teaching
Useful informations
Collaboration with GDR Informatique Mathématique
(since Jan 2010)
Research group: GDR Informatique Mathématique
Research activities:
>
Publications
Groups:
Contact:
HIVERT Florent
More information:
http://www.gdr-im.fr/
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
