An abstraction-refinement framework for trigger querying

Guy Avni, Orna Kupferman

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

1 Article

1 results

Filter

2014
An abstraction-refinement framework for trigger querying
Avni, G. & Kupferman, O., Apr 2014, In: Formal Methods in System Design. 44, 2, p. 149-175 27 p.
Research output: Contribution to journal › Article › peer-review