%0 Generic %1 data/10/BeckertSUWW23 %A Beckert, Bernhard %A Sanders, Peter %A Ulbrich, Mattias %A Wiesler, Julian %A Witt, Sascha %D 2023 %I Zenodo %K dblp %T Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact.

@data{data/10/BeckertSUWW23, added-at = {2024-04-09T00:00:00.000+0200}, author = {Beckert, Bernhard and Sanders, Peter and Ulbrich, Mattias and Wiesler, Julian and Witt, Sascha}, biburl = {https://www.bibsonomy.org/bibtex/2be35f7dca761ba15b1ded1f33d66d51e/dblp}, ee = {https://doi.org/10.5281/zenodo.10445579}, interhash = {18864e5ec45302fcf8496338b437c931}, intrahash = {be35f7dca761ba15b1ded1f33d66d51e}, keywords = {dblp}, month = {December}, publisher = {Zenodo}, timestamp = {2024-04-12T14:42:52.000+0200}, title = {Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact.}, year = 2023 }