Documents associated with J. P. Benson

Abstract of the paper, 15.07.1974(?)
"Design of an Error Resistant Programming Language/System".
Abstracts of the papers, 15.07.1974
"Heuristic Methodologies for Automatic Testcase Generation" and "Experience with Automatic Verification and Validation (V&V) Systems".

Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016