%0 Journal Article %1 journals/csur/ParkLR22 %A Park, Jihyeok %A Lee, Hongki %A Ryu, Sukyoung %D 2022 %J ACM Comput. Surv. %K dblp %N 7 %P 149:1-149:37 %T A Survey of Parametric Static Analysis. %U http://dblp.uni-trier.de/db/journals/csur/csur54.html#ParkLR22 %V 54

@article{journals/csur/ParkLR22, added-at = {2022-10-02T00:00:00.000+0200}, author = {Park, Jihyeok and Lee, Hongki and Ryu, Sukyoung}, biburl = {https://www.bibsonomy.org/bibtex/2f5ac2332fafa2214b3115da613bb9b6b/dblp}, ee = {https://doi.org/10.1145/3464457}, interhash = {8d7df4fe2e705069740b8d5b5878c33c}, intrahash = {f5ac2332fafa2214b3115da613bb9b6b}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = 7, pages = {149:1-149:37}, timestamp = {2024-04-09T00:52:06.000+0200}, title = {A Survey of Parametric Static Analysis.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur54.html#ParkLR22}, volume = 54, year = 2022 }