Learning to Decipher the Heap for Program Verification (2015)

First Author: Brockschmidt M
Attributed to:  Program Verification Techniques for Understanding Security Properties of Software funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.cs.nott.ac.uk/~psztg/cml/2015/papers/CML2015_submission_9.pdf

Type: Conference/Paper/Proceeding/Abstract