๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 8th ACM European Conference - Prague, Czech Republic (2013.04.15-2013.04.17)] Proceedings of the 8th ACM European Conference on Computer Systems - EuroSys '13 - Resolving the conflict between generality and plausibility in verified computation

โœ Scribed by Setty, Srinath; Braun, Benjamin; Vu, Victor; Blumberg, Andrew J.; Parno, Bryan; Walfish, Michael


Book ID
121465341
Publisher
ACM Press
Year
2013
Weight
644 KB
Category
Article
ISBN
1450319947

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES