Formal Description of Design in Visual Prolog

Šilar, Z., Jelínek, I.

ŠILAR, Z. and I. JELÍNEK. Formal Description of Design in Visual Prolog. In: Proceedings of Workshop 2003 (online). Workshop 2003, Praha, 2003-02-10/2003-02-12. Praha: České vysoké učení technické v Praze, 2003. pp. 272-273. ISBN 80-01-02708-2. Available from: http://web.cvut.cz/ctu/research/workshop/ws2003.pdf

URL: http://web.cvut.cz/ctu/research/workshop/ws2003.pdf