P. Cousot and R. Cousot.A unified lattice model for the static analysis of programs by construction or approximation of fixpoints. In Proceedhags of the Fourth Annual Symposium on Principles of Programming Languages. ACM Press, 199
author author author author author title title title title title title title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle publisher publisher date