Index of /jucs_13_5/the_verification_grand_challenge

	Name	Last modified	Size	Description
	Parent Directory		-
	jucs_13_5/	2021-09-19 19:53	-
	jucs_13_5_0661_0668_woodcock.html	2021-09-19 14:35	46K
	jucs_13_5_0661_0668_woodcock.pdf	2007-07-13 07:02	45K
	jucs_13_5_0661_0668_woodcock.ps.gz	2007-07-13 07:02	28K