%0 Journal Article %1 journals/toplas/RivalM07 %A Rival, Xavier %A Mauborgne, Laurent %D 2007 %J ACM Trans. Program. Lang. Syst. %K %N 5 %P 26 %T The trace partitioning abstract domain. %U http://dblp.uni-trier.de/db/journals/toplas/toplas29.html#RivalM07 %V 29

@article{journals/toplas/RivalM07, added-at = {2023-12-12T17:27:43.000+0100}, author = {Rival, Xavier and Mauborgne, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2d974390950227d92746b5448a6453515/admin}, ee = {https://doi.org/10.1145/1275497.1275501}, interhash = {03fc7d835d223908551bb44e47b9cc01}, intrahash = {d974390950227d92746b5448a6453515}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {}, number = 5, pages = 26, timestamp = {2023-12-12T17:27:43.000+0100}, title = {The trace partitioning abstract domain.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas29.html#RivalM07}, volume = 29, year = 2007 }