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

Глава

On the Complexity of Pointer Arithmetic in Separation Logic.

P. 329-349.
Kanovich M., Brotherston J.