|
П |
Верификация C#-программ: перевод из языка C#-light в язык C#-kernel |
2004 |
Дубрановский И. В. |
|
|
ИСИ СО РАН |
|
28.12.2004 |
|
СТ |
На пути к верификации C# программ: алгоритмы перевода из языка C#-Light в язык C#-Kernel |
2005 |
Дубрановский И. В. |
|
|
НГУ, Microsoft Corporation |
Технологии Microsoft в информатике и программировании |
26.02.2005 |
|
П |
На пути к верификации C#-программ: алгоритмы перевода из C# Light в C#-Kernel |
2007 |
Дубрановский И. В. |
|
|
ИСИ СО РАН |
|
29.04.2007 |
|
СТ |
На пути к верификации C#-программ: трехуровневый подход |
2006 |
Непомнящий В. А., Ануреев И. С., Дубрановский И. В., Промский А. В. |
|
|
|
Программирование |
28.09.2006 |
