×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [certified computing]
Home >
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
30 views
An Open Framework for Certified System Software Xinyu Feng Yale University.
225 views