Search results

Articles (6)

Journals (0)

1-6 of 6 results for Craig interpolation

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2009-2

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems 1

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2017-8-24

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Retricted access

Research article

First published 1982

Daniele Mundici

Fundamenta Informaticae

Retricted access

Research article

First published 2008-12

Ingo Brückner, Klaus Dräger, Bernd Finkbeiner [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2005-6

Tomasz Borzyszkowski

Fundamenta Informaticae

Retricted access

Research article

First published 1991

P.H. Rodenburg

Fundamenta Informaticae