Description du groupe LVP

LVP : Langages et Vérification de Programmes

Responsables

• Alain Giorgetti
• Julien Signoles

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