,

Refinement of Trace Abstraction for Real-Time Programs.

, , и .
RP, том 10506 из Lecture Notes in Computer Science, стр. 42-58. Springer, (2017)

Метаданные

тэги

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

  • @dblp

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