A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences.

Thibaut Girka, David Mentr, Yann Rgis-Gianas

Browse the full ATVA paper archive.