TY  - RPRT
TI  - Deriving Law-Abiding Instances
AU  - Ryan Scott
AU  - Vikraman Choudhury
AU  - Ryan Newton
AU  - Niki Vazou
AU  - Ranjit Jhala
PY  - 2017
UR  - https://arxiv.org/abs/1708.02328
ID  - 1708.02328
ER  -