Вы здесь

Главная

Kroening D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Tool for Checking ANSI-C Programs 2004 Clarke E., Kroening D., Lerda F. Lecture Notes in Computer Science 15.05.2004
СТ Completeness and Complexity of Bounded Model Checking 2004 Clarke E., Kroening D., Ouaknine J., Strichman O. Lecture Notes in Computer Science 11.02.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015 2015 Lecture Notes in Computer Science
  1. Kroening D.
  2. Pasareanu C. S.
 29.09.2015
СБ Computer Aided Verification, Part II: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015 2015 Lecture Notes in Computer Science
  1. Kroening D.
  2. Pasareanu C. S.
 29.09.2015
СБ Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014 2014 Lecture Notes in Computer Science
  1. Giannakopoulou D.
  2. Kroening D.
 18.11.2014
СБ Hardware and Software: Verification and Testing: Revised Selected Papers/6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 2010 2011 Lecture Notes in Computer Science
  1. Barner Sh.
  2. Harris I.
  3. Kroening D.
  4. Ras O.
 14.05.2011