%0 Journal Article %1 journals/pacmpl/HouW22 %A (Favonia), Kuen-Bang Hou %A Wang, Zhuyang %D 2022 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-26 %T Logarithm and program testing. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#HouW22 %V 6

@article{journals/pacmpl/HouW22, added-at = {2022-12-05T00:00:00.000+0100}, author = {(Favonia), Kuen-Bang Hou and Wang, Zhuyang}, biburl = {https://www.bibsonomy.org/bibtex/2411b9830fab7a51a7938c2e58cd62c83/dblp}, ee = {https://doi.org/10.1145/3498726}, interhash = {a3fb189071ed65437403984220d162a6}, intrahash = {411b9830fab7a51a7938c2e58cd62c83}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-26}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {Logarithm and program testing.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#HouW22}, volume = 6, year = 2022 }