![](/img/cover-not-exists.png)
[ACM Press the Twenty-Fourth ACM Symposium - Farminton, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13 - Verifying computations with state
Braun, Benjamin, Feldman, Ariel J., Ren, Zuocheng, Setty, Srinath, Blumberg, Andrew J., Walfish, MichaelYear:
2013
Language:
english
DOI:
10.1145/2517349.2522733
File:
PDF, 675 KB
english, 2013