TY  - CONF

T1  - Program simplification as a means of approximating undecidable propositions

JO  - Proceedings Seventh International Workshop on Program Comprehension

PY  - 1999/01/01

AU  - Harman M

AU  - Fox C

AU  - Hierons R

AU  - Binkley D

AU  - Danicic S

ED  - 

DO  - DOI: 10.1109/wpc.1999.777760

PB  - IEEE Comput. Soc

Y2  - 2024/12/22

ER  -