@inproceedings{zorn2007programming,
author = {Zorn, Ben},
title = {Programming Languages for Building Trustworthy Systems},
booktitle = {4th ITI Workshop on Dependability and Security: Opportunities and Challenges in Building an Overarching Community},
year = {2007},
month = {November},
abstract = {Programming Languages for Building Trustworthy Systems Slideshow},
url = {http://approjects.co.za/?big=en-us/research/publication/programming-languages-building-trustworthy-systems/},
edition = {4th ITI Workshop on Dependability and Security: Opportunities and Challenges in Building an Overarching Community},
}