ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
ESOP 2015 (series) / Daniel Kroening
Daniel Kroening

Registered user since Fri 9 Jun 2017

Name: Daniel Kroening

Affiliation: University of Oxford

Contributions

ESOP 2015Author 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
Show activities from other conferences

ESOP 2015-profile
View general profile