Tous les 25 du mois, le LIP6 soutient la « Journée Orange » contre les violences faites aux femmes !
PARameterized DIstributed Systems Verification
Pascal POIZAT