|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Susan L. Gerhart Abstract of the paper, 15.07.1974(?) "Knowledge about Programs: a Model and Case Study".
Abstract of the paper, 15.07.1974(?)"Correctness-preserving Program Transformations".
Abstract of the paper, 15.07.1974(?)"Toward a Theory of Test Data Selection".
Reviewer's Report, S. L. Gerhart->A.P. Ershov, 18.01.1980by S.Gerhart on A.Celentano's paper.
Cover Page, 12.12.1979of S.L.Gerhart's, D.R.Musser's, D.H.Thompson's, D.A.Baker's, R.L.Bates', R.W.Erickson's, R.L.London's, D.G.Taylor's and D.S.Wile's paper.
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
