%0 Conference Paper %1 conf/nfm/MazzucatoCU24 %A Mazzucato, Denis %A Campion, Marco %A Urban, Caterina %B NFM %D 2024 %E Benz, Nathaniel %E Gopinath, Divya %E Shi, Nija %I Springer %K dblp %P 79-98 %T Quantitative Input Usage Static Analysis. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2024.html#MazzucatoCU24 %V 14627 %@ 978-3-031-60698-4

@inproceedings{conf/nfm/MazzucatoCU24, added-at = {2024-06-18T00:00:00.000+0200}, author = {Mazzucato, Denis and Campion, Marco and Urban, Caterina}, biburl = {https://www.bibsonomy.org/bibtex/2853b43edfa985a77e2075a037e014474/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2024}, editor = {Benz, Nathaniel and Gopinath, Divya and Shi, Nija}, ee = {https://doi.org/10.1007/978-3-031-60698-4_5}, interhash = {417823afb7a39877511ad46ac5677195}, intrahash = {853b43edfa985a77e2075a037e014474}, isbn = {978-3-031-60698-4}, keywords = {dblp}, pages = {79-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-24T07:42:31.000+0200}, title = {Quantitative Input Usage Static Analysis.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2024.html#MazzucatoCU24}, volume = 14627, year = 2024 }