Holistic Specifications for Robust Programs

MLA

Drossopoulou, Sophia, et al. Holistic Specifications for Robust Programs. 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.2002.08334&authtype=sso&custid=ns315887.

APA

Drossopoulou, S., Noble, J., Mackay, J., & Eisenbach, S. (2020). Holistic Specifications for Robust Programs.

Chicago

Drossopoulou, Sophia, James Noble, Julian Mackay, and Susan Eisenbach. 2020. “Holistic Specifications for Robust Programs.” 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.2002.08334&authtype=sso&custid=ns315887.