Enforcing high-level protocols in low-level software

DOI Web Site 被引用文献1件
  • Robert DeLine
    Microsoft Research, Microsoft Corporation, One Microsoft Way, Redmond, WA
  • Manuel Fähndrich
    Microsoft Research, Microsoft Corporation, One Microsoft Way, Redmond, WA

収録刊行物

  • ACM SIGPLAN Notices

    ACM SIGPLAN Notices 36 (5), 59-69, 2001-05

    Association for Computing Machinery (ACM)

被引用文献 (1)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ