Search Results

1 - 3 of 3 results for "Blazy, Sandrine"

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

US$69.99

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium,...

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th...

Program Logics for Certified Compilers
US$64.99

This tutorial for graduate students covers practical and theoretical aspects of separation logic...