3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
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…