Literature/mechanizing_sa.pdf
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 23 Jul 2013 23:46:08 +0200 (2013-07-23)
changeset 276 6f71b016cbe7
parent 242 4a943f0fe1b0
permissions -rw-r--r--
slides
(binary:application/pdf)