,

Advanced control-flow and concurrency in C∀.

, и .
Softw. Pract. Exp., 51 (5): 1005-1042 (2021)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии