https://vtss.doc.ic.ac.uk/2017/09/06/darmstadt.html
Philippa Gardner, Keynote talk at Reliably Secure Software Systems (RS3) meeting, Darmstadt,...
Philippa Gardner gave a keynote talk entitled ‘Trustworthy Software Specification’ at the final event of the DFG-funded national research initiative “Reliabl...
philippa gardnertalk atsecure softwarekeynotereliably