%0 Journal Article
%T FORMATION OF THE REVERSE EXAMPLE AT VERIFICATION OF THE ALGORITHMS USING THE METHODS OF LOGICAL INFERENCE
%A Chistyakov, G..
%K formal verification, logical inference, clause division, inference process scheme
%J Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics
%D 2014
%N 2014
%P 7
%I Astrakhan State Technical University