USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Jianjun Duan [Clear All Filters]
.
2010. Correctness Proofs for Device Drivers in Embedded Systems. 5th International Workshop on Systems Software Verification (SSV 10).