Yao Li

发表

Analog/mixed-signal HDLs application and development

Yao Li, 2001 .

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

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.