Показ 1 - 2 результатів із 2, час виконання запиту: 0.07сек. Уточнити результати
  1. 1
    Making the most of BMC counterexamples

    Making the most of BMC counterexamples за авторством Groce, A, Kroening, D

    Опубліковано 2005
    Journal article
  2. 2
    Making the Most of BMC Counterexamples

    Making the Most of BMC Counterexamples за авторством Groce, A, Kroening, D

    Опубліковано 2005
    Conference item

Інструменти для пошуку: