ProofInUse Joint Laboratory: contacts

• Home
• Meetings
• Dissemination
• External Links

• Claude Marché, Inria team Toccata
• Benjamin Monate, TrustInSoft Company
• Yannick Moy, AdaCore Company
• David Mentré, MERCE