Публикация №11039(БАЛЛЫ 5)
| Название публикации | ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ МЕТОДОМ ПОСТРОЕНИЯ ДИАГРАММ СОСТОЯНИЙ |
|---|---|
| Название на другом языке | |
| Тип публикации | Доклад |
| Издание | Труды Международной научно-практической конференции Tools & Methods of Program Analysis (TMPA 2015) |
| Издатель | Санкт-Петербург: издательство Политехнического университета |
| ISBN | 978-5-7422-5159-0 |
| DOI | Не задан |
| Год издания | 2015 |
| Том | Не задан |
| Номер | Не задан |
| Глава | Не задан |
| Страницы | 135-145 |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | http://tmpaconf.org/images/pdf/2015/Andrew-Mironov.pdf |
| РИНЦ | 0 |
| WoS | 0 |
| Баллы | 5 |
| Грант % | 100 |
| Цитируемые публикации авторов ФИЦ ИУ РАН |
