Programming Languages for Building Trustworthy Systems
4th ITI Workshop on Dependability and Security: Opportunities and Challenges in Building an Overarching Community |
Programming Languages for Building Trustworthy Systems Slideshow
Research