Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Static Analysis - 3rd International Symposium, SAS 1996, Proceedings |
| Издатель | Springer-Verlag GmbH and Co. KG |
| Страницы | 174-188 |
| Число страниц | 15 |
| ISBN (печатное издание) | 3540617396, 9783540617396 |
| Состояние | Опубликовано - 1 янв. 1996 |
| Опубликовано для внешнего пользования | Да |
| Событие | 3rd International Static Analysis Symposium, SAS 1996 - Aachen, Германия Продолжительность: 24 сент. 1996 → 26 сент. 1996 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 1145 |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| Конференция | 3rd International Static Analysis Symposium, SAS 1996 |
|---|---|
| Страна/Tерритория | Германия |
| Город | Aachen |
| Период | 24.09.1996 → 26.09.1996 |
ID: 14280606