18. 6. 2005

FM 2005

Udeležili smo se 13. mednarodnega simpozija o formalnih metodah, New Castle, Anglija.