02 March 2020

Invited talk and workshop at DFG GRK 1765



Christoph Sommer is giving an invited talk at DFG GRK 1765, “System Correctness under Adverse Conditions (SCARE)” of Univ. Oldenburg.

Link to more information