|
СТ |
Атрибутные аннотации и их применение в дедуктивной верификации С-программ |
2011 |
Атучин М. М., Ануреев И. С. |
|
|
|
Моделирование и анализ информационных систем |
13.02.2012 |
|
СТ |
Верификация С-программ в мультиязыковой системе СПЕКТР |
2010 |
Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. |
|
|
|
Моделирование и анализ информационных систем |
13.04.2011 |
|
СТ |
Система анализа и верификации С-программ СПЕКТР-2 |
2010 |
Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. |
|
|
|
Труды семинара 5-го международного симпозиума по компьютерным наукам в России |
22.06.2010 |
