logo
Verification of declarative parallel and distributed programs

Konferenzergebnisse (1)