Slides/document/robin-milner.jpg
author Christian Urban <urbanc@in.tum.de>
Sun, 18 Sep 2011 19:38:19 +0200 (2011-09-18)
changeset 3021 8de43bd80bc2
parent 2763 d3ad5dc11ab3
permissions -rw-r--r--
polished
(binary:image/jpeg)