Program Analysis and Transformation Sector
(Сектор методов анализа и преобразования программ)

Keldysh Institute of Applied Mathematics / Институт прикладной математики им. М.В. Келдыша РАН (ИПМ им. М.В. Келдыша РАН)
Russian Academy of Sciences / Российская академия наук (РАН)

Home pages: