Informatics Report Series


Report   

EDI-INF-RR-1256


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers
Authors: Ian Stark ; David Aspinall
Date:Jun 2008
Publication Type:Edited Book Publication Status:Other
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.
Links To Paper
No links available
Bibtex format
@Misc{EDI-INF-RR-1256,
author = { Ian Stark and David Aspinall },
title = {PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers},
year = 2008,
month = {Jun},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh