You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle
Integrated Formal Methods
Springer, Cham, June 2016