Present Perfect Subjunctive

The "past subjunctive" or the "present perfect subjunctive" is formed using the formula below:

present subjunctive conjugation of haber + the past participle = present perfect subjunctive

The present perfect subjunctive is used in the same types of clauses as the present subjunctive, and normally is used: to indicate the action as completed with governing verbs in the present or future tense or command forms.

Examples:

Me alegro de que ella haya llegado.
I'm glad she (has) arrived.

Dudo que ella haya llegado.
I doubt she (has) arrived.

Niego que ella haya llegado.
I deny she (has) arrived.

Es posible que ella haya llegado.
It's possible she (has) arrived.

Lo haré después que ella haya llegado.
I'll do it after she has arrived.

No lo hagas a menos que ella haya llegado.
Don't do it unless she has arrived.