“...International Conference on Computer-Aided Verification Paříž, Francie)...”