Matt Lewis - ESOP 2015

Tue 14 - Thu 16 April 2015 London, United Kingdom

Not registered as user

Name:Matt Lewis

Affiliation:University of Oxford

Contributions

2015

ESOP

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs

Show activities from other conferences

ESOP 2015-profile
View general profile