Sep
05
The LoVe/verification team showed a demo of the CosyVerif software
The LoVe/verification team showed a demo of the CosyVerif software ( http://www.cosyverif.org/ ). L’équipe LoVe (axe vérification) a montré une démo de son logiciel CosyVerif (http://www.cosyverif.org/) which received a warm welcome.