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