PDF:
Iterative and incremental model generation by logic solvers
| Title | Iterative and incremental model generation by logic solvers |
| Publication Type | Conference Proceedings |
| Year of Publication | 2016 |
| Authors | Semeráth, O., Vörös, A., and Varró, D. |
| Conference Name | 19th International Conference on Fundamental Approaches to Software Engineering |
| Date Published | 04/2016 |
| Conference Location | Eindhoven, The Netherlands |
| URL | http://www.etaps.org/index.php/2016/fase/fase-accepted |
