Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

First Page		Document Content
Date: 2014-03-02 08:55:00		Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana Add to Reading List Source URL: www.lsv.ens-cachan.fr Download Document from Source Website File Size: 313,28 KB Share Document on Facebook