SANCHEZ MARIO ANTONIO

Verifying whether connectivity in a composed policy graph reflects a corresponding policy in input policy graphs