%0 Journal Article
%T Constructive synthesis of Web-based application user interfaces
%A Kochurov, E..
%K user interface, method of constructive program synthesis, con-structive logic, Web-based application, html-template.
%J Program systems: theory and applications
%D 2013
%N 4
%P 14
%I Publishing Center RIOR