Report copyright - Curriculum Vitae Prof. Ing. Roberto Sebastiani, PhDdisi.unitn.it/rseba/inglcurr.pdf · 2.2Development of tools for Automated Reasoning, Formal Verification and Require-ment Engineering
Please pass captcha verification before submit form