%0 Journal Article %1 journals/siglog/Lazic18a %A Lazic, Ranko %D 2018 %J ACM SIGLOG News %K dblp %N 3 %P 66 %T Verification column. %U http://dblp.uni-trier.de/db/journals/siglog/siglog5.html#Lazic18a %V 5

@article{journals/siglog/Lazic18a, added-at = {2022-06-10T00:00:00.000+0200}, author = {Lazic, Ranko}, biburl = {https://www.bibsonomy.org/bibtex/29e95e466e5000688930628fed20987c3/dblp}, ee = {https://doi.org/10.1145/3242953.3242963}, interhash = {abf2ffe98f07e8fec574820b50645e2f}, intrahash = {9e95e466e5000688930628fed20987c3}, journal = {ACM SIGLOG News}, keywords = {dblp}, number = 3, pages = 66, timestamp = {2024-04-08T09:55:12.000+0200}, title = {Verification column.}, url = {http://dblp.uni-trier.de/db/journals/siglog/siglog5.html#Lazic18a}, volume = 5, year = 2018 }