Priya, S., Kahsai, T., & Gurfinkel, A. (Sep 18, 2024). Unlocking the Power of Environment Assumptions for Unit Proofs. arXiv.org.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Chicago-viite (17. p.)
Priya, Siddharth, Temesghen Kahsai, ja Arie Gurfinkel. "Unlocking the Power of Environment Assumptions for Unit Proofs."
ArXiv.org Sep 18, 2024.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
MLA-viite (9. p.)
Priya, Siddharth, et al. "Unlocking the Power of Environment Assumptions for Unit Proofs."
ArXiv.org, Sep 18, 2024.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.