DIKU Bits: Proof-Carrying Code

Speaker

Andrzej Filinski, associate professor in the Programming Languages and Theory of Computing section at DIKU.

Abstract

TBA