The CREUSOT Environment for the Deductive Verification of Rust Programs

MLA

Xavier Denis, et al. The CREUSOT Environment for the Deductive Verification of Rust Programs. 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=edsair&AN=edsair.dedup.wf.001..89627f4c00223f4106e8a599f9060196&authtype=sso&custid=ns315887. Accessed 12 Jan. 2025.

APA

Xavier Denis, Jacques-Henri Jourdan, & Claude Marché. (n.d.). The CREUSOT Environment for the Deductive Verification of Rust Programs.

Chicago

Xavier Denis, Jacques-Henri Jourdan, and Claude Marché. 2025. “The CREUSOT Environment for the Deductive Verification of Rust Programs.” Accessed January 12. 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=edsair&AN=edsair.dedup.wf.001..89627f4c00223f4106e8a599f9060196&authtype=sso&custid=ns315887.