Description du groupe LVP

LVP : Langages et Vérification de Programmes

Responsables

• Alain Giorgetti
• Julien Signoles

Présentation du groupe de travail : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20Langages%20et%20v%C3%A9rification%20de%20programmes%20%28LVP%29/

Site web du groupe de travail : https://groupes.renater.fr/wiki/lvp