Certifying low-level programs with hardware interrupts and preemptive threads (2008)

Cached

Download Links

by Xinyu Feng , Zhong Shao , Yuan Dong , Yu Guo
Venue:In PLDI’08
Citations:23 - 6 self