Informatik2016 Highlights: Keynote-Sprecher Michael Wooldridge – From model checking to equilibrium checking
Einblick in die beeindruckende Präsentation des Keynote-Sprechers Prof. Dr. Michael Wooldridge von der Universität Oxford am Tag der Informatik.
