PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers

Ian Stark (Editor), David Aspinall (Editor)

Research output: Book/Report › Anthology

Fingerprint

Dive into the research topics of 'PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers'. Together they form a unique fingerprint.

Arts and Humanities

Social Sciences

Computer Science