Susan Eisenbach - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Fri 17 Mar 2017

Name:Susan Eisenbach

Country:United Kingdom

Affiliation:Imperial College London

Personal website: http://wp.doc.ic.ac.uk/susan/

Contributions

2024

Formal Methods for Incorrectness

Work in Progress: Modelling Incorrect Programs in the Open World with Dafny

POCL

Object Capabilities

Show activities from other conferences

POPL 2024-profile
View general profile