Журнал ИМТ
Цитируемая работаПубликацияДокумент
Verification and Synthesis of Addition Programs under the Rules of Correctness of Statements
http://libmeta.ru/resource/imt/cited_1996
Данные
| sourceNote | Automatic Control and Computer Sciences. 2011. Vol. 45. No. 7. Pp. 421–427. |
| год | 2011 |
| language | en |
| bibliographicCitation | Shelekhov V.I. Verification and Synthesis of Addition Programs under the Rules of Correctness of Statements // Automatic Control and Computer Sciences. 2011. Vol. 45. No. 7. Pp. 421–427. |
автор
Входящие связи