Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}