Augmenting the diagnostic power of flow-based approaches to functional reasoning

CHITTARO, Luca

RANON, Roberto