Springer, Berlin · The MIT Press
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: Third International Symposium, SAS ... 3rd | 978-3-540-61739-6 (3-540-61739-6) | 1996 | Radhia Cousot | |
| The Structure of Typed Programming Languages | 978-0-262-69171-0 (0-262-69171-X) | 1994 | ||
A. S. · A Schmidt · D. A. S. · D.S. · D. Schmidt · David A. · David Andrew Schmidt · David S. · David Schmidt