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 Advance Abstract of the paper
Title Page and Advance Abstract of the paper
"Provably Safe Programs" (by T. Anderson).
Date: 15.07.1974(?)
Original document language: English
Images of pages:
1
2
3
Back
Next document (Abstract of the paper)
Previous document (Abstract of the paper)
Switch to Russian
|
Search
|
Advanced search
|
Folders
| Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016