|
СТ |
Алгоритмические вопросы конъюнктивной декомпозиции булевых формул |
2015 |
Емельянов П. Г., Пономарев Д. К. |
|
|
|
Программирование |
21.07.2015 |
|
СТ |
Средства визуализации при перепроектировании программ |
2001 |
Бабурин Е. Д., Бульонков М. А., Емельянов П. Г., Филаткина Н. Н. |
|
|
|
Программирование |
18.06.2001 |
|
СТ |
Абстрактная интерпретация императивных программ |
1998 |
Емельянов П. Г. |
|
|
|
Системная информатика. Вып.6 |
28.12.1998 |
|
А |
Методы и средства статического анализа семантических свойств программ |
1997 |
Емельянов П. Г. |
|
|
|
|
25.11.1997 |
|
СТ |
Анализатор семантических свойств Модула-программ |
1994 |
Емельянов П. Г., Сабельфельд В. К. |
|
|
|
Интеллектуализация и качество программного обеспечения: Сборник научных трудов |
31.01.1995 |
|
СТ |
Методы и средства семантического анализа Модула-программ |
1993 |
Брюханова Ю. В., Емельянов П. Г., Касьянов В. Н., Сабельфельд В. К. |
|
|
|
Конструирование и оптимизация программ |
23.03.1994 |
