,

Verification supported refactoring of embedded sql.

, и .
Softw. Qual. J., 29 (3): 629-665 (2021)

Метаданные

тэги

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

  • @dblp

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