Cristina David - ESOP 2015

Tue 14 - Thu 16 April 2015 London, United Kingdom

Registered user since Thu 15 Sep 2022

Name:Cristina David

Affiliation:University of Oxford

Contributions

2015

ESOP

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

Show activities from other conferences

ESOP 2015-profile
View general profile