logo
Verification of declarative parallel and distributed programs

Résultats des conférences (1)