Symbolic execution: Difference between revisions

Content deleted Content added
mixing a missing space
Citation bot (talk | contribs)
Add: arxiv, volume, journal. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 426/492
Line 190:
| last1 = Andrès
| first1 = Léo
| journal= The Art, Science, and Engineering of Programming
| volume= 9
| arxiv= 2412.06391
| url = https://programming-journal.org/2025/9/3/
}}</ref>