• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Verification of Programs with Mutual Recursion in Pifagor Language

Automatic Control and Computer Sciences. 2018. Vol. 52. No. 7. P. 850-866.
Legalov A.I., Ushakova M.