%0 Conference Paper %1 conf/rv/HalleKG17a %A Hallé, Sylvain %A Khoury, Raphaël %A Gaboury, Sébastien %B RV-CuBES %D 2017 %E Reger, Giles %E Havelund, Klaus %I EasyChair %K dblp %P 89-95 %T A Few Things We Heard About RV Tools (Position Paper). %U http://dblp.uni-trier.de/db/conf/rv/cubes2017.html#HalleKG17a %V 3

@inproceedings{conf/rv/HalleKG17a, added-at = {2021-08-15T00:00:00.000+0200}, author = {Hallé, Sylvain and Khoury, Raphaël and Gaboury, Sébastien}, biburl = {https://www.bibsonomy.org/bibtex/24e60a30213ad1ba3f9b93732db0327bf/dblp}, booktitle = {RV-CuBES}, crossref = {conf/rv/2017cubes}, editor = {Reger, Giles and Havelund, Klaus}, ee = {https://doi.org/10.29007/zxc5}, interhash = {25616a1af9f756b09a46ef9fb7356695}, intrahash = {4e60a30213ad1ba3f9b93732db0327bf}, keywords = {dblp}, pages = {89-95}, publisher = {EasyChair}, series = {Kalpa Publications in Computing}, timestamp = {2024-04-09T16:55:44.000+0200}, title = {A Few Things We Heard About RV Tools (Position Paper).}, url = {http://dblp.uni-trier.de/db/conf/rv/cubes2017.html#HalleKG17a}, volume = 3, year = 2017 }