%0 Conference Paper %1 journals/corr/abs-1909-01743 %A Andrici, Cezar-Constantin %A Ciobaca, Stefan %B FROM %D 2019 %E Marin, Mircea %E Craciun, Adrian %K dblp %P 3-15 %T Verifying the DPLL Algorithm in Dafny. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs303.html#abs-1909-01743 %V 303

@inproceedings{journals/corr/abs-1909-01743, added-at = {2019-10-08T00:00:00.000+0200}, author = {Andrici, Cezar-Constantin and Ciobaca, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/23842b4cdd5fa22884bb9d1157565cfc4/dblp}, booktitle = {FROM}, crossref = {journals/corr/abs-1909-00584}, editor = {Marin, Mircea and Craciun, Adrian}, ee = {http://arxiv.org/abs/1909.01743}, interhash = {9568bda30e54f612ced9b74e577907ef}, intrahash = {3842b4cdd5fa22884bb9d1157565cfc4}, keywords = {dblp}, pages = {3-15}, series = {EPTCS}, timestamp = {2019-10-09T11:38:47.000+0200}, title = {Verifying the DPLL Algorithm in Dafny.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs303.html#abs-1909-01743}, volume = 303, year = 2019 }