Index of /jucs_10_10/formal_specification_of_computer

	Name	Last modified	Size	Description
	Parent Directory		-
	Sveda_M.pdf	2006-11-28 12:01	20K
	Sveda_M.ps.gzip	2006-11-28 12:01	18K
	jucs_10_10/	2021-09-19 17:41	-
	managing.html	2021-09-19 02:12	23K