| Tartalom: |
http://real.mtak.hu/48177/ |
| Archívum: |
MTA Könyvtár |
| Gyűjtemény: |
Status = Published
Type = Book Section
|
| Cím: |
Iterative and incremental model generation by logic solvers
|
| Létrehozó: |
Semeráth, Oszkár
Vörös, András
Varró, Dániel
|
| Közreműködő: |
Stevens, Perdita
Wasowski, Andrzej
|
| Kiadó: |
Springer
|
| Dátum: |
2016
|
| Téma: |
QA76 Computer software / programozás
|
| Nyelv: |
angol
|
| Típus: |
Book Section
PeerReviewed
info:eu-repo/semantics/bookPart
|
| Formátum: |
text
|
| Azonosító: |
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
|
| Kapcsolat: |
MTMT:3018468; doi:10.1007/978-3-662-49665-7_6
|
