1 paper
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou +1
To derive a program for a given specification R means to find an artifact P that satisfies two conditions: P is executable in some programming language; and P is correct with respe…