Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings Blazy Sandrine Heftet / 2015 / Engelsk
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers Blazy Sandrine Heftet / 2016 / Engelsk
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings Blazy Sandrine Heftet / 2013 / Engelsk
