Skip to main navigation Skip to search Skip to main content

An abstraction-refinement framework for trigger querying

Research output: Contribution to journal › Article › peer-review

  • 1 Conference contribution

Search results

  • 2011

    An abstraction-refinement framework for trigger querying

    Avni, G. & Kupferman, O., 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. p. 263-279 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6887 LNCS).

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