Automatická syntéza programů

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

D 1982

Automatická syntéza programů

HOŘEJŠ, Jiří a Luboš BRIM

Základní údaje

Originální název

Automatická syntéza programů

Autoři

HOŘEJŠ, Jiří a Luboš BRIM

Vydání

Proc. SOFSEM 82, od s. 277-308, 32 s. 1982

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

není předmětem státního či obchodního tajemství

Změněno: 23. 8. 2004 14:57, Irena Hudečková

HOŘEJŠ, Jiří a Luboš BRIM. Automatická syntéza programů. In Proc. SOFSEM 82. 1982, s. 277-308.

@inproceedings{557034,
   author = {Hořejš, Jiří and Brim, Luboš},
   booktitle = {Proc. SOFSEM 82},
   pages = {277-308},
   title = {Automatická syntéza programů},
   year = {1982}
}

TY  - CONF
ID  - 557034
AU  - Hořejš, Jiří - Brim, Luboš
PY  - 1982
TI  - Automatická syntéza programů
ER  -

HOŘEJŠ, Jiří a Luboš BRIM. Automatická syntéza programů. In \textit{Proc. SOFSEM 82}. 1982, s.~277-308.