DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.

Luigi Petrone, Antonio Di Leva, Franco Sirovich

Browse the full ICSE paper archive.