%0 Conference Paper %1 conf/sas/WesleyCNTWG21 %A Wesley, Scott %A Christakis, Maria %A Navas, Jorge A. %A Trefler, Richard J. %A Wüstholz, Valentin %A Gurfinkel, Arie %B SAS %D 2021 %E Dragoi, Cezara %E Mukherjee, Suvam %E Namjoshi, Kedar S. %I Springer %K dblp %P 429-452 %T Compositional Verification of Smart Contracts Through Communication Abstraction. %U http://dblp.uni-trier.de/db/conf/sas/sas2021.html#WesleyCNTWG21 %V 12913 %@ 978-3-030-88806-0

@inproceedings{conf/sas/WesleyCNTWG21, added-at = {2021-11-03T00:00:00.000+0100}, author = {Wesley, Scott and Christakis, Maria and Navas, Jorge A. and Trefler, Richard J. and Wüstholz, Valentin and Gurfinkel, Arie}, biburl = {https://www.bibsonomy.org/bibtex/29dfa1a68c0baa0534b10604a847e86f3/dblp}, booktitle = {SAS}, crossref = {conf/sas/2021}, editor = {Dragoi, Cezara and Mukherjee, Suvam and Namjoshi, Kedar S.}, ee = {https://doi.org/10.1007/978-3-030-88806-0_21}, interhash = {f4d1af75fd0e19eb141bc14b14bd8c38}, intrahash = {9dfa1a68c0baa0534b10604a847e86f3}, isbn = {978-3-030-88806-0}, keywords = {dblp}, pages = {429-452}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:34:37.000+0200}, title = {Compositional Verification of Smart Contracts Through Communication Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2021.html#WesleyCNTWG21}, volume = 12913, year = 2021 }