TY  - CONF

T1  - Program simplification as a means of approximating undecidable propositions

JO  - Proceedings Seventh International Workshop on Program Comprehension

UR  - https://doi.org/10.1109/wpc.1999.777760

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

SP  - 208

EP  - 217

Y2  - 2025/11/05

ER  -