,

VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

, , , и .
ICSE (2), стр. 737-740. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).

Метаданные

тэги

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

  • @dblp

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