BibTeX record conf/IEEEares/MartinelliMNS17

download as .bib file

@inproceedings{DBLP:conf/IEEEares/MartinelliMNS17,
  author       = {Fabio Martinelli and
                  Francesco Mercaldo and
                  Vittoria Nardone and
                  Antonella Santone},
  title        = {Malware and Formal Methods: Rigorous Approaches for detecting Malicious
                  Behaviour},
  booktitle    = {Proceedings of the 12th International Conference on Availability,
                  Reliability and Security, Reggio Calabria, Italy, August 29 - September
                  01, 2017},
  pages        = {76:1--76:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3098954.3107012},
  doi          = {10.1145/3098954.3107012},
  timestamp    = {Tue, 06 Nov 2018 16:58:04 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/MartinelliMNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.