Daniel Kroening - ESOP 2015

Tue 14 - Thu 16 April 2015 London, United Kingdom

Registered user since Fri 9 Jun 2017

Name:Daniel Kroening

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