%0 Journal Article %1 journals/toplas/SampaioSCP13 %A Sampaio, Diogo %A de Souza, Rafael Martins %A Collange, Sylvain %A Pereira, Fernando Magno Quintão %D 2013 %J ACM Trans. Program. Lang. Syst. %K %N 4 %P 13:1-13:36 %T Divergence analysis. %U http://dblp.uni-trier.de/db/journals/toplas/toplas35.html#SampaioSCP13 %V 35

@article{journals/toplas/SampaioSCP13, added-at = {2023-12-12T19:11:07.000+0100}, author = {Sampaio, Diogo and de Souza, Rafael Martins and Collange, Sylvain and Pereira, Fernando Magno Quintão}, biburl = {https://www.bibsonomy.org/bibtex/29fc1e200820e1589234c54e1e2917e8b/admin}, ee = {https://doi.org/10.1145/2523815}, interhash = {1cf50f0951bfc1fd6e78c22cdb4bb604}, intrahash = {9fc1e200820e1589234c54e1e2917e8b}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {}, number = 4, pages = {13:1-13:36}, timestamp = {2023-12-12T19:11:07.000+0100}, title = {Divergence analysis.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas35.html#SampaioSCP13}, volume = 35, year = 2013 }