Dieses Ergebnis aus Springer Nature Journals kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Synthesising Programs with Non-trivial Constants

Title:	Synthesising Programs with Non-trivial Constants
Authors:	Abate, Alessandro^Aff1; Barbosa, Haniel^Aff2; Barrett, Clark^Aff3; David, Cristina^{Aff4, IDs10817023096644_cor4}; Kesseli, Pascal^Aff5; Kroening, Daniel^Aff6; Polgreen, Elizabeth^Aff7; Reynolds, Andrew^Aff8; Tinelli, Cesare^Aff8
Source:	Journal of Automated Reasoning. 67(2)
Database:	Springer Nature Journals