Statistics
Publications
1
Citations
18
H-Index
1
Active since
2019
Affiliations
Yale University(Current)
Anton Xue is an author at Yale University specializing in automated reasoning, formal verification, and computer science.
Publications per year
2019–2019
1
1
Lazy counterfactual symbolic execution
William T. Hallahan, Anton Xue, Maxwell Bland et al. · 2019 · 18 citations · Full text
Refinement Type Errors, Formal Specification, Engineering +15
1–1 of 1