| Static Analysis (WSA'93) |
| Proceedings of the Third International Workshop; Padova, Italy |
| ISBN: |
3540572643 |
| Ausgabe: |
1993 |
| Ausgabejahr: |
1993
|
| Autor(en): |
Radhi Cousot
,
Moreno Falaschi
,
Gilberto Filè
,
Antoine Rauzy
|
| Verlag: |
Springer |
| Publikationstyp: |
Buch |
| Publikationskategorie: |
0.2 0.2 Tagungsbände |
| SSW-Nummer: |
0129 |
| Bibliothek: |
Informatik-Bibliothek
[17059]
|
| Standort: |
SSW-Bibliothek |
| Stichwörter: |
|
| Kurzbeschreibung: |
|
|
|
