C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques

MLA

Nitin, Vikram, et al. C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques. 2025. 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.2501.14257&authtype=sso&custid=ns315887.

APA

Nitin, V., Krishna, R., Valle, L. L. do, & Ray, B. (2025). C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques.

Chicago

Nitin, Vikram, Rahul Krishna, Luiz Lemos do Valle, and Baishakhi Ray. 2025. “C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques.” 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.2501.14257&authtype=sso&custid=ns315887.