Learning the Boundary of Inductive Invariants

MLA

Feldman, Yotam M. Y., et al. Learning the Boundary of Inductive Invariants. 2020. 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.2008.09909&authtype=sso&custid=ns315887.

APA

Feldman, Y. M. Y., Sagiv, M., Shoham, S., & Wilcox, J. R. (2020). Learning the Boundary of Inductive Invariants.

Chicago

Feldman, Yotam M. Y., Mooly Sagiv, Sharon Shoham, and James R. Wilcox. 2020. “Learning the Boundary of Inductive Invariants.” 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.2008.09909&authtype=sso&custid=ns315887.