Журнал ИМТ
Цитируемая работаПубликацияДокумент
An axiomatic basis for computer programming
http://libmeta.ru/resource/imt/cited_122
Данные
| sourceNote | Communications of the ACM. Vol. 12 (10). 1969. Pp. 576–585. |
| год | 1969 |
| language | en |
| bibliographicCitation | Hoare C.A.R. An axiomatic basis for computer programming // Communications of the ACM. Vol. 12 (10). 1969. Pp. 576–585. |
автор
Входящие связи