Enforcing high-level protocols in low-level software (0)

by R DeLine, M Fähndrich
Venue:in: Proc. ACM Conference on Programming Language Design and Implementation (PLDI