Andrea Turrini

• Engineering Trustworthy Software Systems