Lawrence Bernstein

Trustworthy Systems Through Quantitative Software Engineering