| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the 2nd International Symposium on Programming, Paris, France |
| Publisher | Dunod |
| Pages | 106-130 |
| State | Published - 1976 |
Static determination of dynamic properties of programs
Patrick Cousot, Radhia Cousot
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution