Software model synthesis using satisfiability solvers

Journal Article (2013)

Author(s)

M.J.H. Heule (TU Delft - Algorithmics)

SE Verwer (External organisation)

Research Group

Algorithmics

DOI related publication

https://doi.org/10.1007/s10664-012-9222-z

To reference this document use:

More Info

expand_more

Publication Year

2013

Language

English

Research Group

Algorithmics

Issue number

4

Volume number

18

Pages (from-to)

825-856

No files available

Metadata only record. There are no files for this record.