%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 = {2024-05-07T00: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-05-13T10:07:54.000+0200}, title = {Sum of Abstract Domains.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#AmatoMS15}, volume = 9058, year = 2015 }