Další formáty:
BibTeX
LaTeX
RIS
@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.
|