Журнал ИМТ
Цитируемая работаПубликацияДокумент
Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования
http://libmeta.ru/resource/imt/cited_2299
Данные
| sourceNote | Программная инженерия. 2011. № 2. С. 14-21. |
| год | 2011 |
| language | ru |
| bibliographicCitation | Шелехов В.И. Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования // Программная инженерия. 2011. № 2. С. 14-21. |
автор
Входящие связи