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

Luigi Petrone, Antonio Di Leva, Franco Sirovich. DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. In ICSE. pages 350-359, 1982.

Authors

Luigi Petrone

This author has not been identified. Look up 'Luigi Petrone' in Google

Antonio Di Leva

This author has not been identified. Look up 'Antonio Di Leva' in Google

Franco Sirovich

This author has not been identified. Look up 'Franco Sirovich' in Google