%0 Journal Article %1 journals/sigsoft/LloydS15 %A Lloyd, Justin %A Sherman, Elena %D 2015 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 1-5 %T Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#LloydS15 %V 40

@article{journals/sigsoft/LloydS15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Lloyd, Justin and Sherman, Elena}, biburl = {https://www.bibsonomy.org/bibtex/228e7df8153f47de7a516c74121615d3f/dblp}, ee = {https://doi.org/10.1145/2693208.2693244}, interhash = {db1e054393dcdae5f0d720a95086ac19}, intrahash = {28e7df8153f47de7a516c74121615d3f}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 1, pages = {1-5}, timestamp = {2024-04-08T18:57:06.000+0200}, title = {Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#LloydS15}, volume = 40, year = 2015 }