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

Глава

Biabduction (and Related Problems) in Array Separation Logic

P. 472-490.
Kanovich M., Brotherston J., Gorogiannis N.