Verifying computations with state (2013)

by B Braun, A J Feldman, Z Ren, S Setty, A J Blumberg, M Walfish
Venue:In ACM Symposium on Operating Systems Principles (SOSP