Towards the formal verification of maintainer scripts
Channel: DebConf Videos
Date: 2017-12-05

by Ralf Treinen

At: Debconf 16 video RSS feed
https://debconf16.debconf.org/
Room: Menzies 9
Scheduled start: 2016-07-08 11:15:00