Инвентарный номер: нет.        E 70     Ermakov, G. V.     Testing Mixal Programs by Symbolic Execution [] / G. V. Ermakov // Programming and Computer Software. - 1988. - V.14, Is.1. - С. 1-6 ББК 53 Рубрики: ФИЗИКА Кл.слова (ненормированные): TESTING -- MIXAL PROGRAMS -- EXECUTION SYMBOLIC