@inproceedings{BNNP08:SAS,
author = {J{\"o}rg Bauer and
Flemming Nielson and
Hanne Riis Nielson and
Henrik Pilegaard},
title = {Relational Analysis of Correlation},
booktitle = {Proc. of 15th International Static Analysis Symposium (SAS'08)},
year = {2008},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {32-46},
}