Version 1.5b Castle in the Sky

Speaker: Cornelius Diekmann

C diekmannn scholarsmall

Proving stuff in Isabelle. Computer networks and security.


Archived page - Impressum/Datenschutz