IMT journal
Document segmentKeyword list
260_2
http://libmeta.ru/resource/imt/seg/260_2
Fragment text
дедуктивная верификация; трансформации программ; алгебраические типы данных; односвязный список
Данные
| hasConfidence | 1.0 |
| hasOrderIndex | 2 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
Входящие связи