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

Статья

Automated verification of expression transformation chains based on computational experiments

Кацман В., Новиков Ф., Мосин В. Д.