Login / Signup

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

Thibaut GirkaDavid MentréYann Régis-Gianas
Published in: ATVA (2015)
Keyphrases