Lovrek, I. (1997). 2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia: 2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia : proceedings (1. izd.). Zagreb: Fakultet elektrotehnike i računarstva - Zagreb.
Chicago stil citiranjaLovrek, Ignac. 2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia: 2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia : proceedings. 1. izd. Zagreb: Fakultet elektrotehnike i računarstva - Zagreb, 1997.
MLA stil citiranjaLovrek, Ignac. 2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia: 2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia : proceedings. 1. izd. Zagreb: Fakultet elektrotehnike i računarstva - Zagreb, 1997.