Login / Signup

In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.

Dirk BeyerKarlheinz Friedberger
Published in: ISoLA (2) (2018)
Keyphrases