documents   about archive   about project   Andrei Ershov   in Russian

Archive Documents on computer science Papers on the development of computer science Article

	Article "Using Symbolic Execution to Characterize Behavior" by D.Cohen. W.Swartout? R.Balzer. Date: 26.11.1987 Original document language: English Authors: Robert M. Balzer Images of pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Back Next document (Article) Previous document (Cover Page and Index)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016