Synthesising Programs with Non-trivial Constants.
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.
Abate A, et al. Among authors: kroening d.
J Autom Reason. 2023;67(2):19. doi: 10.1007/s10817-023-09664-4. Epub 2023 May 13.
J Autom Reason. 2023.
PMID: 37193313
Free PMC article.