Gianluca Amato, Maurizio Parton, Francesca Scozzari
Deriving Numerical Abstract Domains via Principal Component Analysis
SAS, 2010.
@inproceedings{SAS-2010-AmatoPS, author = "Gianluca Amato and Maurizio Parton and Francesca Scozzari", booktitle = "{Proceedings of the 17th International Static Analysis Symposium}", doi = "10.1007/978-3-642-15769-1_9", isbn = "978-3-642-15768-4", pages = "134--150", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Deriving Numerical Abstract Domains via Principal Component Analysis}", volume = 6337, year = 2010, }