Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Pöri, Mikko"'
Publikováno v:
Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings; 2013, p363-379, 17p