logo
Verification of declarative parallel and distributed programs

Conference Results (1)