EPR-based k-induction with counterexample guided abstraction refinement

Konstantin Korovin, Georg Gottlob (Editor), Geoff Sutcliffe (Editor), Andrei Voronkov (Editor)

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Fingerprint

    Dive into the research topics of 'EPR-based k-induction with counterexample guided abstraction refinement'. Together they form a unique fingerprint.

    Computer Science