TY  - RPRT
TI  - Formal Specification of Continuum Deformation Coordination
AU  - Hossein Rastgoftar
AU  - Jean-Baptiste Jeannin
AU  - Ella Atkins
PY  - 2019
UR  - https://arxiv.org/abs/1907.12913
ID  - 1907.12913
ER  -