logo
Verification of declarative parallel and distributed programs

Resultados de Congresos (1)