| Original language | English (US) |
|---|---|
| Publisher | Schloss Dagstuhl - Leibniz Center for Informatics |
| State | Published - 1995 |
Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995
Patrick Cousot (Editor), Radhia Cousot (Editor), A. Mycroft (Editor)
Research output: Book/Report › Book