Enforcing high-level protocols in low-level software

収録刊行物

• Proc. ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, Snowbird, Utah, United States

  Proc. ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, Snowbird, Utah, United States 59-69, 2001