Roberta Ferrario

• Formal methods and empirical practices