TY  - RPRT
TI  - Iteratively Composing Statically Verified Traits
AU  - Isaac Oscar Gariano
AU  - Marco Servetto
AU  - Alex Potanin
AU  - Hrshikesh Arora
PY  - 2019
DO  - 10.4204/eptcs.299.7
UR  - https://arxiv.org/abs/1902.09685
ID  - 1902.09685
ER  -