%0 Conference Paper %1 conf/cade/ChenKR16 %A Chen, Yuting %A Kovács, Laura %A Robillard, Simon %B Vampire@IJCAR %D 2016 %E Kovács, Laura %E Voronkov, Andrei %I EasyChair %K dblp %P 16-32 %T Theory-Specific Reasoning about Loops with Arrays using Vampire. %U http://dblp.uni-trier.de/db/conf/cade/vampire2016.html#ChenKR16 %V 44

@inproceedings{conf/cade/ChenKR16, added-at = {2021-08-15T00:00:00.000+0200}, author = {Chen, Yuting and Kovács, Laura and Robillard, Simon}, biburl = {https://www.bibsonomy.org/bibtex/2e1e47f519d5fb92ccf1bc953ab03bc04/dblp}, booktitle = {Vampire@IJCAR}, crossref = {conf/cade/2016vampire}, editor = {Kovács, Laura and Voronkov, Andrei}, ee = {https://doi.org/10.29007/qk21}, interhash = {a88cafe3ccad953ada394a4c2b3efc04}, intrahash = {e1e47f519d5fb92ccf1bc953ab03bc04}, keywords = {dblp}, pages = {16-32}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:24.000+0200}, title = {Theory-Specific Reasoning about Loops with Arrays using Vampire.}, url = {http://dblp.uni-trier.de/db/conf/cade/vampire2016.html#ChenKR16}, volume = 44, year = 2016 }