%0 Conference Paper %1 conf/models/GodoyGGU22 %A Godoy, Javier %A Galeotti, Juan Pablo %A Garbervetsky, Diego %A Uchitel, Sebastián %B MoDELS %D 2022 %E Syriani, Eugene %E Sahraoui, Houari A. %E Bencomo, Nelly %E Wimmer, Manuel %I ACM %K dblp %P 289-299 %T Predicate abstractions for smart contract validation. %U http://dblp.uni-trier.de/db/conf/models/models2022.html#GodoyGGU22 %@ 978-1-4503-9466-6

@inproceedings{conf/models/GodoyGGU22, added-at = {2022-10-26T00:00:00.000+0200}, author = {Godoy, Javier and Galeotti, Juan Pablo and Garbervetsky, Diego and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/25649c7de5f6021d1aed60ac576bcf023/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2022}, editor = {Syriani, Eugene and Sahraoui, Houari A. and Bencomo, Nelly and Wimmer, Manuel}, ee = {https://doi.org/10.1145/3550355.3552462}, interhash = {c4d68f4cc4934c339d5144c4e1fdfc43}, intrahash = {5649c7de5f6021d1aed60ac576bcf023}, isbn = {978-1-4503-9466-6}, keywords = {dblp}, pages = {289-299}, publisher = {ACM}, timestamp = {2024-04-09T21:59:55.000+0200}, title = {Predicate abstractions for smart contract validation.}, url = {http://dblp.uni-trier.de/db/conf/models/models2022.html#GodoyGGU22}, year = 2022 }