William Harris (Galois Inc.)
Identifiers
- name variant William Harris (Galois Inc.) 0.50 · backfill
Papers (1)
- Relational Verification via Invariant-Guided Synchronization cs.PL · 2019 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- David Heath (Georgia Institute of Technology) 1 shared papers
- Qi Zhou (Georgia Institute of Technology) 1 shared papers