“...International Conference on Computer-Aided Verification Kodaň, Dánsko)...”