TY  JOUR
TI  FORMATION OF THE REVERSE EXAMPLE AT VERIFICATION OF THE ALGORITHMS USING THE METHODS OF LOGICAL INFERENCE
KW  formal verification
KW  logical inference
KW  clause division
KW  inference process scheme
JO  Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics
AU  Chistyakov, G..
PY  2014
IS  2014
PB  Astrakhan State Technical University