Semeráth, Oszkár and Vörös, András and Varró, Dániel (2016) Iterative and incremental model generation by logic solvers. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (9633). Springer, Berlin; Heidelberg, pp. 87-103. ISBN 978-3-662-49664-0
|
Text
document.pdf Download (1MB) | Preview |
Official URL: http://dx.doi.org/10.1007/978-3-662-49665-7_6
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 13 Feb 2017 11:06 |
| Last Modified: | 13 Feb 2017 11:06 |
| URI: | http://real.mtak.hu/id/eprint/48177 |
Actions (login required)
 |
Edit Item |
