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
- Weight
- Alphabetically
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
39
Scopus
citations