Two approaches to Program Synthesis or Implementation of Partially Defined Theories

Авторы: 
Malyshkin V.
Сотрудник ИВМиМГ: 
Малышкин Виктор Эммануилович
Название мероприятия: 
11th Intern. Conf. on New Trends in Software Methodologies, Tools and Techniques (SoMeT_12)
Тип мероприятия: 
Международная конференция
Статус доклада: 
Секционный
Год: 
2012
Место и дата проведения: 
Genoa, Italy, Sept. 26-28, 2012