Ryan G. Scott

Identifiers

• name variant Ryan G. Scott 0.50 · backfill

Papers (1)

1. Refinement Reflection: Complete Verification with SMT cs.PL · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Anish Tondwalkar 1 shared papers
• Niki Vazou 1 shared papers
• Philip Wadler 1 shared papers
• Ranjit Jhala 1 shared papers
• Ryan R. Newton 1 shared papers
• Vikraman Choudhury 1 shared papers