Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Static Analysis - 4th International Symposium, SAS 1997 |
| Издатель | Springer |
| Страницы | 361-363 |
| Число страниц | 3 |
| ISBN (печатное издание) | 9783540634683 |
| Состояние | Опубликовано - 1 янв. 1997 |
| Опубликовано для внешнего пользования | Да |
| Событие | 4th International Symposium on Static Analysis - Paris, Франция Продолжительность: 8 сент. 1997 → 10 сент. 1997 Номер конференции: 4 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 1302 LNCS |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| Конференция | 4th International Symposium on Static Analysis |
|---|---|
| Сокращенное название | SAS 1997 |
| Страна/Tерритория | Франция |
| Город | Paris |
| Период | 08.09.1997 → 10.09.1997 |
ID: 14280538