Software model synthesis using satisfiability solvers

MJH Heule, SE Verwer

Research output: Contribution to journalArticleScientificpeer-review

27 Citations (Scopus)
Original languageEnglish
Pages (from-to)825-856
Number of pages32
JournalEmpirical Software Engineering
Volume18
Issue number4
DOIs
Publication statusPublished - 2013

Cite this