Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime '"Predicate abstraction."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 1

    Joining dataflow with predicates. Yazar: Fischer, Jeffrey

    Makale

    Joining dataflow with predicates.
  2. 2

    Explaining abstract counterexamples. Yazar: Chaki, Sagar

    Makale

    Explaining abstract counterexamples.

Arama Araçları: