,

Formal Specification and Verification of JDK's Identity Hash Map Implementation.

, , , , , и .
IFM, том 13274 из Lecture Notes in Computer Science, стр. 45-62. Springer, (2022)

Метаданные

тэги

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

  • @dblp

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