Inductive Predicate Synthesis Modulo Programs (Extended)

MLA

Wesley, Scott, et al. Inductive Predicate Synthesis Modulo Programs (Extended). 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2407.08455&authtype=sso&custid=ns315887.

APA

Wesley, S., Christakis, M., Navas, J. A., Trefler, R., Wüstholz, V., & Gurfinkel, A. (2024). Inductive Predicate Synthesis Modulo Programs (Extended).

Chicago

Wesley, Scott, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, and Arie Gurfinkel. 2024. “Inductive Predicate Synthesis Modulo Programs (Extended).” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2407.08455&authtype=sso&custid=ns315887.