REAL

Iterative and incremental model generation by logic solvers

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

[img]
Preview
Text
document.pdf

Download (1MB) | Preview
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 Edit Item