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 Podrobný výpis o publikaci

Podrobný výpis o publikaci

D 2000

Synthesis of formal specifications of predicates: Why and How?

FRANOVA, Marta a Lubomír POPELÍNSKÝ

Základní údaje

Originální název

Synthesis of formal specifications of predicates: Why and How?

Autoři

FRANOVA, Marta a Lubomír POPELÍNSKÝ

Vydání

Proc. of EMCSR'00, 2000

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

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

Organizační jednotka

Fakulta informatiky

Změněno: 1. 2. 2001 10:51, doc. RNDr. Lubomír Popelínský, Ph.D.

Citovat

ČSN ISO 690
BibTeX
LaTeX
RIS

FRANOVA, Marta a Lubomír POPELÍNSKÝ. Synthesis of formal specifications of predicates: Why and How? In Proc. of EMCSR'00. 2000.

@inproceedings{346934,
   author = {Franova, Marta and Popelínský, Lubomír},
   booktitle = {Proc. of EMCSR'00},
   title = {Synthesis of formal specifications of predicates: Why and How?},
   year = {2000}
}

TY  - JOUR
ID  - 346934
AU  - Franova, Marta - Popelínský, Lubomír
PY  - 2000
TI  - Synthesis of formal specifications of predicates: Why and How?
ER  -

FRANOVA, Marta a Lubomír POPELÍNSKÝ. Synthesis of formal specifications of predicates: Why and How? In \textit{Proc. of EMCSR'00}. 2000.