LVP : Langages et vérification de programmes

• Description du groupe LVP : Disponible ici
• Actualités du groupe LVP

• Journée LVP 202415/08/2024
• Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau30/09/2023
• Journées communes 2023 des GT CLAP, HiFi et LVP09/01/2023