FRANOVA, Marta a Lubomír POPELÍNSKÝ. Synthesis of formal specifications of predicates: Why and How? In Proc. of EMCSR'00. 2000.
Další formáty:   BibTeX LaTeX RIS
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ěnil Změnil: doc. RNDr. Lubomír Popelínský, Ph.D., učo 1945. Změněno: 1. 2. 2001 10:51.
VytisknoutZobrazeno: 23. 9. 2020 08:57