Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matt Lewis
conf.researchr.org general profile
ESOP 2015 profile
Not registered as user
Name:
Matt Lewis
Affiliation:
University of Oxford
Contributions
2015
ESOP
Author of Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs within the ESOP-track
Author of Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs within the ESOP-track
Share
x
Mon 2 Nov 15:11