James R. Wilcox

Identifiers

• name variant James R. Wilcox 0.50 · backfill

Papers (1)

1. Inferring Inductive Invariants from Phase Structures cs.PL · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Mooly Sagiv 1 shared papers
• Sharon Shoham 1 shared papers
• Yotam M. Y. Feldman 1 shared papers