Yanjin Zhu (NICTA

Identifiers

• name variant Yanjin Zhu (NICTA 0.60 · backfill

Papers (1)

1. Automatic Verification of Message-Based Device Drivers cs.OS · 2012 · author #10

Mentions

• 1211.6185 #10 · backfill · confidence 0.70 Yanjin Zhu (NICTA

Frequent Coauthors

• Alastair F. Donaldson (Imperial College London) 1 shared papers
• Alexander Legg (NICTA 1 shared papers
• Leonid Ryzhyk (NICTA 1 shared papers
• Peter Chubb (NICTA 1 shared papers
• Sidney Amani (NICTA 1 shared papers
• UNSW) 1 shared papers