A Formal Design Method

Jelínek, I.

JELÍNEK, I. A Formal Design Method. In: FIALA, P. and L. SMRČEK, eds. Proceedings of the First International Conference on Advanced Engineering Design. 1st. International Conference on Advanced Engineering Design, Praha, 1999-05-31/1999-06-02. Praha: České vysoké učení technické v Praze, 1999. pp. 117-118. ISBN 80-01-02055-X.