Alexander Legg (NICTA
Identifiers
- name variant Alexander Legg (NICTA 0.60 · backfill
Papers (1)
- Automatic Verification of Message-Based Device Drivers cs.OS · 2012 · author #6
Mentions
- 1211.6185 #6 · backfill · confidence 0.70 Alexander Legg (NICTA
Frequent Coauthors
- Alastair F. Donaldson (Imperial College London) 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
- Yanjin Zhu (NICTA 1 shared papers