Investire cu formulã executorie

În cazul unei hot.def. şi irev. pronunţată de ICCJ prin care se restituie reclamanţilor imobilul format din 15 apartamente şi se constată nulitatea absolută a contractelor de vânzare-cumpărarea în baza Legii 112 a apartamentelor în cauză este necesară investirea acestei hotărâri cu formulă executorie şi dacă da , ce formalităţi presupune această acţiune de investire cu formulă executorie. Vă mulţumesc!