×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [certified computing]
10/19/2007TTI-C PL-Lunch Certified Concurrent Code with Interrupts Xinyu Feng Joint work with Zhong Shao (Yale University) and Yuan Dong (Tsinghua University)
219 views
An Open Framework for Certified System Software
31 views
An Open Framework for Certified System Software Xinyu Feng Yale University
226 views