PDF:
Iterative and incremental model generation by logic solvers
| Cím | Iterative and incremental model generation by logic solvers |
| Közlemény típusa | Conference Proceedings |
| Kiadás éve | 2016 |
| Szerzők | Semeráth, O., Vörös, A., and Varró, D. |
| Konferencia neve | 19th International Conference on Fundamental Approaches to Software Engineering |
| Kiadás dátuma | 04/2016 |
| Konferencia helyszíne | Eindhoven, The Netherlands |
| URL | http://www.etaps.org/index.php/2016/fase/fase-accepted |
