documents
about archive
about project
Andrei Ershov
in Russian
Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Conference on Software Reliability
Abstracts of papers submitted to the conference
Title Page and Abstract of the paper
Title Page and Abstract of the paper
"Design of FADAC System for Validation of Tactical Software" (by J. Bell and H. Brodkin).
Date: 15.07.1974(?)
Original document language: English
Images of pages:
1
2
Back
Next document (Abstract of the paper)
Previous document (Abstracts of the papers)
Switch to Russian
|
Search
|
Advanced search
|
Folders
| Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016