СИСТЕМА ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ

     
      Л 52
      ЛЕТИЧЕВСКИЙ ,А. А.
      СИСТЕМА ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ А. А. ЛЕТИЧЕВСКИЙ , М. К. МОРОХОВЕЦ, В. С. ПЕСЧАНЕНКО // УПРАВЛЯЮЩИЕ СИСТЕМЫ И МАШИНЫ. - 2012. - № 6. - С. 64-71. - .