Marinana, hola!! A pesar de la falta de contexto creo que podría tratarse de este tipo de contrato contemplado en la ley de contratación española (v. información el 1º link)
Aunque nunca he sabido que tal contrato se conozca por su acrónimo, en el 2º link puedes encontrar (en el ANEXO 2), que dice: FORMULARIOS JUSTIFICACIÓN DE LA SOLVENCIA ECONÓMICA (FORMULARIOS... EF-2...), lo cual podría correponder al "FORMULA EF-2" que tienes en el texto.
Adicionalmente acabo de encontrar en el vínculo que sigue inmediatamente, que el acrónimo si lo usan para distinguir los expedientes.
http://www.todalaley.com/mostrarResultados.php?&desde=200106...
(hoy le estoy "botando corriente" a esto pues acabo de terminar un trabajito que me llevaba de cabeza: dos "libritos" de 324 y 297 pp, respectivamente... y es que ya llevo el pc incorporado a mi humanidad :-)))
Si no fuese esto lo tuyo, me dices pues tengo otros tres acrónimos que no los transcribo aquí pues personalmente esto es lo que más me suena...
Espero que la flauta me haya sonado de verdad y que esto te ayude.
Ciao y suerte! :-)