%0 Conference Paper %1 conf/wollic/IordacheC21 %A Iordache, Viorel %A Ciobaca, Stefan %B WoLLIC %D 2021 %E Silva, Alexandra %E Wassermann, Renata %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 150-166 %T Verifying the Conversion into CNF in Dafny. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2021.html#IordacheC21 %V 13038 %@ 978-3-030-88853-4

@inproceedings{conf/wollic/IordacheC21, added-at = {2021-10-07T00:00:00.000+0200}, author = {Iordache, Viorel and Ciobaca, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/26904f6427320dfc2f161fdf0fb2ffb60/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2021}, editor = {Silva, Alexandra and Wassermann, Renata and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-030-88853-4_10}, interhash = {57e9e8482e37fa410db582cb26034953}, intrahash = {6904f6427320dfc2f161fdf0fb2ffb60}, isbn = {978-3-030-88853-4}, keywords = {dblp}, pages = {150-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:01:42.000+0200}, title = {Verifying the Conversion into CNF in Dafny.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2021.html#IordacheC21}, volume = 13038, year = 2021 }