Harman, Mark; Fox, Chris; Hierons, Robert; Binkley, Dave and Danicic, Sebastian. 1999. Program simplification as a means of approximating undecidable propositions. In: , ed. 7th IEEE International Workshop on Program Comprenhesion (IWPC'99). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 208-217. [Book Section]

No full text available

Item Type:	Book Section
Departments, Centres and Research Units:	Computing
Dates:	Date Event May 1999 Published
Item ID:	15248
Date Deposited:	07 Dec 2015 11:17
Last Modified:	13 Jun 2016 12:33
URI:	https://research.gold.ac.uk/id/eprint/15248

Edit Record (login required)