%0 Conference Paper %1 conf/sum/RibeiroST20 %A Ribeiro, Jandson S. %A Sofronie-Stokkermans, Viorica %A Thimm, Matthias %B SUM %D 2020 %E Davis, Jesse %E Tabia, Karim %I Springer %K jandson myown %P 84-97 %T Measuring Disagreement with Interpolants. %U http://dblp.uni-trier.de/db/conf/sum/sum2020.html#RibeiroST20 %V 12322 %@ 978-3-030-58449-8

@inproceedings{conf/sum/RibeiroST20, added-at = {2020-09-18T23:26:34.000+0200}, author = {Ribeiro, Jandson S. and Sofronie-Stokkermans, Viorica and Thimm, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2cb6365bd6ab21dbbdc5e85608c04ae17/jandson}, booktitle = {SUM}, crossref = {conf/sum/2020}, editor = {Davis, Jesse and Tabia, Karim}, ee = {https://doi.org/10.1007/978-3-030-58449-8_6}, interhash = {3a84c65d1d1e95cf774b17fcbb01289c}, intrahash = {cb6365bd6ab21dbbdc5e85608c04ae17}, isbn = {978-3-030-58449-8}, keywords = {jandson myown}, pages = {84-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-18T23:27:40.000+0200}, title = {Measuring Disagreement with Interpolants.}, url = {http://dblp.uni-trier.de/db/conf/sum/sum2020.html#RibeiroST20}, volume = 12322, year = 2020 }