%0 Journal Article %1 journals/corr/abs-2311-07559 %A Zimmerman, Conrad %A DiVincenzo, Jenna %A Aldrich, Jonathan %D 2023 %J CoRR %K dblp %T Sound Gradual Verification with Symbolic Execution. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-07559 %V abs/2311.07559

@article{journals/corr/abs-2311-07559, added-at = {2023-11-15T00:00:00.000+0100}, author = {Zimmerman, Conrad and DiVincenzo, Jenna and Aldrich, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/20ae830e5c06889911e8840ff1d761e39/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.07559}, interhash = {1a890b30de7ad264465f8e9bf16a43d2}, intrahash = {0ae830e5c06889911e8840ff1d761e39}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:08:45.000+0200}, title = {Sound Gradual Verification with Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-07559}, volume = {abs/2311.07559}, year = 2023 }