Programming Languages for Building Trustworthy Systems

• Ben Zorn

4th ITI Workshop on Dependability and Security: Opportunities and Challenges in Building an Overarching Community | November 2007