"On Two Friends for Getting Correct Programs - Automatically Translating ..."

Zheng Cheng, Dominique Méry, Rosemary Monahan (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics