TY  JOUR
TI  Constructive synthesis of Web-based application user interfaces
KW  user interface
KW  method of constructive program synthesis
KW  con-structive logic
KW  Web-based application
KW  html-template.
JO  Program systems: theory and applications
AU  Kochurov, E..
PY  2013
IS  4
PB  Publishing Center RIOR