PENA NICOLAS XAVIER

Method for piecewise hierarchical sequential verification