Delavnica o formalnih metodah, 2. del

S kolegi iz Zagreba smo organizirali delavnico o formalnih metodah z namenom predstavitve aktualnih raziskav in pregledom možnosti za sodelovanje. Tokrat smo se dobili v Mariboru.