01234naa#a2200241#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200020900102210013200311215001000443608004500453675002200498686006700520686006700587686005500654686011200709686009100821700005900912856002100971RU\\bibl\3241320241125195327.1##a2072-9502##a20140725b2014####ek#y0rusy0150####ca0#aRUS##aRU1#aФОРМИРОВАНИЕ КОНТРПРИМЕРА ПРИ ВЕРИФИКАЦИИ АЛГОРИТМОВ С ПОМОЩЬЮ МЕТОДОВ ЛОГИЧЕСКОГО ВЫВОДАeЖурнальная статья1#aАстраханьcАстраханский государственный технический университетd2014##a7 с.##aЖурнальная статья2local##a. 004.052.42zRUS##aОбщие вопросы информатики. 20.012grnti##aОбщие вопросы кибернетики. 28.012grnti##aОбщие вопросы связи. 49.012grnti##aОбщие вопросы автоматики и вычислительной техники. 50.012grnti##aОбщие вопросы организации и управления. 82.012grnti#1aЧистяковgГеннадий Андреевич 4#avestnik.astu.org