Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/cacm/LivshitsSSLACGKMV15
%A Livshits, Benjamin
%A Sridharan, Manu
%A Smaragdakis, Yannis
%A Lhoták, Ondrej
%A Amaral, José Nelson
%A Chang, Bor-Yuh Evan
%A Guyer, Samuel Z.
%A Khedker, Uday P.
%A Møller, Anders
%A Vardoulakis, Dimitrios
%D 2015
%J Commun. ACM
%K dblp
%N 2
%P 44-46
%T In defense of soundiness: a manifesto.
%U http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#LivshitsSSLACGKMV15
%V 58
@article{journals/cacm/LivshitsSSLACGKMV15,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Livshits, Benjamin and Sridharan, Manu and Smaragdakis, Yannis and Lhoták, Ondrej and Amaral, José Nelson and Chang, Bor-Yuh Evan and Guyer, Samuel Z. and Khedker, Uday P. and Møller, Anders and Vardoulakis, Dimitrios},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/234ee72a95a9075c7ad94f950cd6d2957/dblp},
ee = {https://doi.org/10.1145/2644805},
interhash = {2e448d6dcb7e73235394456fd3405306},
intrahash = {34ee72a95a9075c7ad94f950cd6d2957},
journal = {Commun. ACM},
keywords = {dblp},
number = 2,
pages = {44-46},
timestamp = {2019-09-27T10:47:06.000+0200},
title = {In defense of soundiness: a manifesto.},
url = {http://dblp.uni-trier.de/db/journals/cacm/cacm58.html#LivshitsSSLACGKMV15},
volume = 58,
year = 2015
}
