Publikationen suchen
Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics
(
Teil einer Monographie/eines Konferenzbandes
)