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

Глава

One Approach to Automated Compiler Verification

P. 143-149.
Bessonov V. A., Lyadova L. N.

В книге

Под науч. редакцией: A. Kamkin, A. Petrenko, A. Terekhov. M.: 2014.