<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<inproceedings key="conf/cpp/BlazyMP15" mdate="2021-08-16">
<author orcid="0000-0002-0189-0223">Sandrine Blazy</author>
<author>Andr&#233; Maroneze</author>
<author>David Pichardie</author>
<title>Verified Validation of Program Slicing.</title>
<pages>109-117</pages>
<year>2015</year>
<booktitle>CPP</booktitle>
<ee>https://doi.org/10.1145/2676724.2693169</ee>
<crossref>conf/cpp/2015</crossref>
<url>db/conf/cpp/cpp2015.html#BlazyMP15</url>
</inproceedings></dblp>
