Skip to main navigation Skip to search Skip to main content

From C to interaction trees: Specifying, verifying, and testing a networked server

  • Nicolas Koh
  • , Yao Li
  • , Yishuai Li
  • , Li Yao Xia
  • , Lennart Beringer
  • , Wolf HonorĂ©
  • , William Mansky
  • , Benjamin C. Pierce
  • , Steve Zdancewic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'From C to interaction trees: Specifying, verifying, and testing a networked server'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases