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.
|
