Metadata only
Date
2007Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Proceedings of the 2007 Conference on Specification and Verification of Component-Based Systems : September 3-4, 2007, Dubrovnik, CroatiaJournal / series
ACM conference proceedings seriesVolume
Pages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
proof-carrying code; proof-transforming compiler; trusted componentsOrganisational unit
03594 - Meyer, Bertrand (emeritus)
03653 - Müller, Peter / Müller, Peter
More
Show all metadata
ETH Bibliography
yes
Altmetrics