LIBRARY Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings 2019 · ENGLISH · PDF View details →
Dance Performance by Lúčnica, Slovak National Folklore Ballet: What Is the Meaning of Staged Folkloric Performances? 2013 · ENGLISH · PDF View details →
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings 2005 · ENGLISH · PDF View details →
