Original language | English |
---|---|
Title of host publication | Static Analysis - 3rd International Symposium, SAS 1996, Proceedings |
Editors | David A. Schmidt, Radhia Cousot |
Publisher | Springer |
Pages | 385-386 |
Number of pages | 2 |
ISBN (Print) | 3540617396, 9783540617396 |
Publication status | Published - 1 Jan 1996 |
Event | Static Analysis Symposium 1996 - Aachen, Germany Duration: 24 Sept 1996 → 26 Sept 1996 Conference number: 3rd https://link.springer.com/book/10.1007/3-540-61739-6 (Proceedings) |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 1145 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | Static Analysis Symposium 1996 |
---|---|
Abbreviated title | SAS 1996 |
Country/Territory | Germany |
City | Aachen |
Period | 24/09/96 → 26/09/96 |
Internet address |
|