notre_dame_de_la_garde.jpeg

Extracting nondeterministic concurrent programs

  • Ulrich Berger

Schedule

  • Aug. 30, 2016, 16:30 - 18:00(Realizability, denotational semantics session)

Attachments