Formal Methods in Design Process

Jelínek, I.

JELÍNEK, I. Formal Methods in Design Process. In: Proceeding of the 10th International Conference on Engineering Design. International Conference on Engineering Design, Praha, 1995-07-22/1995-07-25. Zürich: Heurista, 1995. pp. 517-522. ISBN 3-85693-028-0.