TY  - RPRT
TI  - Formal Verification of a Programmable Hypersurface
AU  - Panagiotis Kouvaros
AU  - Dimitris Kouzapas
AU  - Anna Philippou
AU  - Julius Georgiou
AU  - Loukas Petrou
AU  - Andreas Pitsillides
PY  - 2018
UR  - https://arxiv.org/abs/1807.09339
ID  - 1807.09339
ER  -