1
Vydáno 2008
“...International Conference on Formal Engineering Methods Kitakjúšú, Japonsko)...”
Kniha