,

Verification of pointer-based programs with partial information.

.
Durham University, UK, (2011)British Library, EThOS.

Метаданные

тэги

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

  • @dblp

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