Inproceedings,
Sum of Abstract Domains.
G. Amato, S. Maio, and F. Scozzari.NFM, volume 9058 of Lecture Notes in Computer Science, page 35-49. Springer, (2015)
Meta data
- BibTeX key
- conf/nfm/AmatoMS15
- entry type
- inproceedings
- booktitle
- NFM
- year
- 2015
- pages
- 35-49
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9058
- crossref
- conf/nfm/2015
- ee
- https://doi.org/10.1007/978-3-319-17524-9_4
- isbn
- 978-3-319-17523-2
- url
- http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#AmatoMS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nfm/AmatoMS15
%A Amato, Gianluca
%A Maio, Simone Di Nardo Di
%A Scozzari, Francesca
%B NFM
%D 2015
%E Havelund, Klaus
%E Holzmann, Gerard J.
%E Joshi, Rajeev
%I Springer
%K dblp
%P 35-49
%T Sum of Abstract Domains.
%U http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#AmatoMS15
%V 9058
%@ 978-3-319-17523-2
@inproceedings{conf/nfm/AmatoMS15,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Amato, Gianluca and Maio, Simone Di Nardo Di and Scozzari, Francesca},
biburl = {https://www.bibsonomy.org/bibtex/23c973246434ef0f6d24da25d53c211c0/dblp},
booktitle = {NFM},
crossref = {conf/nfm/2015},
editor = {Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev},
ee = {https://doi.org/10.1007/978-3-319-17524-9_4},
interhash = {0b94415c0d281cbfa1dbe5d6a5203ce9},
intrahash = {3c973246434ef0f6d24da25d53c211c0},
isbn = {978-3-319-17523-2},
keywords = {dblp},
pages = {35-49},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T21:03:43.000+0200},
title = {Sum of Abstract Domains.},
url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#AmatoMS15},
volume = 9058,
year = 2015
}