1
Vydáno 2002
“...International Conference on Computer-Aided Verification Kodaň, Dánsko)...”
Kniha