@book{908ff6b313d84302beea3b8e820b386e,
title = "PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers",
abstract = "This report contains the programme and contributed papers for PCC 2008, a workshop on Proof-Carrying Code held at Carnegie Mellon University in June 2008.",
editor = "Ian Stark and David Aspinall",
year = "2008",
language = "English",
series = "Informatics Research Report",
publisher = "University of Edinburgh",
number = "1256",
address = "United Kingdom",
}