%0 Conference Paper %1 conf/agere/DOsualdoKO12 %A D'Osualdo, Emanuele %A Kochems, Jonathan %A Ong, Luke %B AGERE!@SPLASH %D 2012 %E Agha, Gul A. %E Bordini, Rafael H. %E Marron, Assaf %E Ricci, Alessandro %I ACM %K %P 137-140 %T Soter: an automatic safety verifier for erlang. %U http://dblp.uni-trier.de/db/conf/agere/agere2012.html#DOsualdoKO12 %@ 978-1-4503-1630-9

@inproceedings{conf/agere/DOsualdoKO12, added-at = {2023-12-12T22:45:01.000+0100}, author = {D'Osualdo, Emanuele and Kochems, Jonathan and Ong, Luke}, biburl = {https://www.bibsonomy.org/bibtex/2dadf03b7c352d9436b32536fb8f0437d/admin}, booktitle = {AGERE!@SPLASH}, crossref = {conf/agere/2012}, editor = {Agha, Gul A. and Bordini, Rafael H. and Marron, Assaf and Ricci, Alessandro}, ee = {https://doi.org/10.1145/2414639.2414658}, interhash = {4dbe357580365fb3e3b3b344c32d652e}, intrahash = {dadf03b7c352d9436b32536fb8f0437d}, isbn = {978-1-4503-1630-9}, keywords = {}, pages = {137-140}, publisher = {ACM}, timestamp = {2023-12-12T22:45:01.000+0100}, title = {Soter: an automatic safety verifier for erlang.}, url = {http://dblp.uni-trier.de/db/conf/agere/agere2012.html#DOsualdoKO12}, year = 2012 }