%0 Journal Article %1 journals/jlp/DinJOY18 %A Din, Crystal Chang %A Johnsen, Einar Broch %A Owe, Olaf %A Yu, Ingrid Chieh %D 2018 %J J. Log. Algebraic Methods Program. %K dblp %P 82-102 %T A modular reasoning system using uninterpreted predicates for code reuse. %U http://dblp.uni-trier.de/db/journals/jlp/jlp95.html#DinJOY18 %V 95

@article{journals/jlp/DinJOY18, added-at = {2022-04-09T00:00:00.000+0200}, author = {Din, Crystal Chang and Johnsen, Einar Broch and Owe, Olaf and Yu, Ingrid Chieh}, biburl = {https://www.bibsonomy.org/bibtex/2af27f27bbf0ab93aabc7ee358a1b843f/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2017.11.004}, interhash = {5f4919ea0fb266cf4b600a7339170a98}, intrahash = {af27f27bbf0ab93aabc7ee358a1b843f}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {82-102}, timestamp = {2024-04-08T10:50:37.000+0200}, title = {A modular reasoning system using uninterpreted predicates for code reuse.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp95.html#DinJOY18}, volume = 95, year = 2018 }